page_pref.js

   1 function set_page_pref(prefname, tablenum, prefvalue, success) {
   2   jQuery.post( window.fsurl + 'misc/process/set_page_pref.html',
   3       { path: window.request_comp_path,
   4         name: prefname,
   5         num: tablenum,
   6         value: prefvalue
   7       },
   8       success
   9   );
  10 }