Check(); $User->check_dossier($gDossier); //----------------------------------------------------- // update preference //----------------------------------------------------- if ( isset ( $_POST['style_user']) ) { $User->update_global_pref('THEME',$_POST['style_user']); $_SESSION['g_theme']=$_POST['style_user']; } // Met a jour le pagesize if ( isset ( $_POST['p_size']) ) { $User->update_global_pref('PAGESIZE',$_POST['p_size']); $_SESSION['g_pagesize']=$_POST['p_size']; } /// html_page_start($_SESSION['g_theme'],"","richtext.js"); if ( ! isset ( $gDossier ) ) { echo "Vous devez choisir un dossier "; exit -2; } require_once('class_widget.php'); include_once("preference.php"); include_once("user_menu.php"); $str_dossier=dossier::get(); $p_action=(isset ($_REQUEST['p_action']))?$_REQUEST['p_action']:""; // TODO Menu with all the customer //echo '