From 9b3d7f743f21f0ae27bb314faa61e04f43411be0 Mon Sep 17 00:00:00 2001 From: alecpl <alec@alec.pl> Date: Fri, 03 Oct 2008 09:09:25 -0400 Subject: [PATCH] - Add 'skip_deleted' option in User Preferences (#1485445) --- 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 b3b75ff..beeb1df 100644 --- a/program/steps/settings/save_prefs.inc +++ b/program/steps/settings/save_prefs.inc @@ -31,6 +31,7 @@ '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, -- Gitblit v1.9.1