- Reload UI after skin change

alecpl

2011-12-03 73571d3d2657ae214f67055bb0da453d69652f69

- Reload UI after skin change

 program/steps/settings/save_prefs.inc

@@ -145,6 +145,8 @@
    // 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']);
    else if ($RCMAIL->config->get('skin') != $a_user_prefs['skin'])
      $OUTPUT->command('reload', 500);

    // force min size
    if ($a_user_prefs['pagesize'] < 1)