diff options
| author | alecpl <alec@alec.pl> | 2008-10-03 13:09:25 +0000 |
|---|---|---|
| committer | alecpl <alec@alec.pl> | 2008-10-03 13:09:25 +0000 |
| commit | 9b3d7f743f21f0ae27bb314faa61e04f43411be0 (patch) | |
| tree | eeec662c055d1c71f59e333e3e2ccaad10335c78 /program/steps/settings/save_prefs.inc | |
| parent | 8962ec04be962319b06211c9700766f3ffa8aab0 (diff) | |
- Add 'skip_deleted' option in User Preferences (#1485445)
Diffstat (limited to 'program/steps/settings/save_prefs.inc')
| -rw-r--r-- | program/steps/settings/save_prefs.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/program/steps/settings/save_prefs.inc b/program/steps/settings/save_prefs.inc index b3b75ffe4..beeb1df0f 100644 --- a/program/steps/settings/save_prefs.inc +++ b/program/steps/settings/save_prefs.inc @@ -31,6 +31,7 @@ $a_user_prefs = array( 'inline_images' => isset($_POST['_inline_images']) ? TRUE : FALSE, 'preview_pane' => isset($_POST['_preview_pane']) ? TRUE : FALSE, 'read_when_deleted' => isset($_POST['_read_when_deleted']) ? TRUE : FALSE, + 'skip_deleted' => isset($_POST['_skip_deleted']) ? TRUE : FALSE, 'flag_for_deletion' => isset($_POST['_flag_for_deletion']) ? TRUE : FALSE, 'logout_purge' => isset($_POST['_logout_purge']) ? TRUE : FALSE, 'logout_expunge' => isset($_POST['_logout_expunge']) ? TRUE : FALSE, |