thomascube
2010-09-18 62c791f60923e12ef157f6de7018d0f7ada47911
program/steps/settings/save_prefs.inc
@@ -116,8 +116,9 @@
      $OUTPUT->command('reload', 500);
    }
    // switch skin
    $OUTPUT->set_skin($a_user_prefs['skin']);
    // switch skin (if valid, otherwise unset the pref and fall back to default)
    if (!$OUTPUT->set_skin($a_user_prefs['skin']))
      unset($a_user_prefs['skin']);
    // force min size
    if ($a_user_prefs['pagesize'] < 1)