+ }
+
+ if (isset($pageselectormax)) {
+ setPref($data_dir, $username, 'page_selector_max', $pageselectormax);
+ } else {
+ removePref($data_dir, $username, 'page_selector_max', 0 );
+ }
+
+ if (isset($pageselector)) {
+ removePref($data_dir, $username, 'page_selector');
+ } else {
+ setPref($data_dir, $username, 'page_selector', 1);
+ }
+