From 5452006d2669e0bcd256c1f417fa19de51b5cfb1 Mon Sep 17 00:00:00 2001 From: zone Date: Tue, 28 Aug 2001 07:50:53 +0000 Subject: [PATCH] Added show_command_line option --- filemanager/preferences.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/filemanager/preferences.php b/filemanager/preferences.php index e057b61cc9..a596da65f4 100644 --- a/filemanager/preferences.php +++ b/filemanager/preferences.php @@ -24,7 +24,7 @@ /* To add an on/off preference, just add it here. Key is internal name, value is displayed name */ - $other_checkboxes = array ("viewinnewwin" => "View documents in new window", "viewonserver" => "View documents on server (if available)", "viewtextplain" => "Unknown MIME-type defaults to text/plain when viewing", "dotdot" => "Show ..", "dotfiles" => "Show .files", "show_help" => "Show help"); + $other_checkboxes = array ("viewinnewwin" => "View documents in new window", "viewonserver" => "View documents on server (if available)", "viewtextplain" => "Unknown MIME-type defaults to text/plain when viewing", "dotdot" => "Show ..", "dotfiles" => "Show .files", "show_help" => "Show help", "show_command_line" => "Show command line (EXPERIMENTAL. DANGEROUS.)"); /* To add a dropdown preferences, add it here. Key is internal name, value key is