var $dec_sep;
var $theme;
var $pagesize; // for printing
+ var $show_hints;
function user_prefs(&$user)
{
$this->dec_sep = $user["dec_sep"];
$this->theme = $user["theme"];
$this->pagesize = $user["page_size"];
+ $this->show_hints = $user["show_hints"];
}
function language()
return $this->pagesize;
}
+ function show_hints()
+ {
+ return $this->show_hints;
+ }
+
function set_dec($price_dec, $qty_dec, $exrate_dec, $percent_dec, $showgl, $showcodes)
{
$this->price_dec = $price_dec;