diff -urp includes/theme.inc includes/theme.inc
--- includes/theme.inc	2008-09-02 20:38:56.000000000 +0300
+++ includes/theme.inc	2008-09-03 23:14:35.828125000 +0300
@@ -864,7 +864,8 @@ function theme_get_settings($key = NULL)
     'default_logo'                  =>  1,
     'logo_path'                     =>  '',
     'default_favicon'               =>  1,
-    'favicon_path'                  =>  '',
+    'favicon_path'                  =>  '',
+    'input_format_fieldset'         =>  0,
     'main_menu'                     =>  1,
     'secondary_menu'                =>  1,
     'toggle_logo'                   =>  1,
diff -urp modules/filter/filter.module modules/filter/filter.module
--- modules/filter/filter.module	2008-08-31 20:19:06.000000000 +0300
+++ modules/filter/filter.module	2008-09-03 23:22:25.328125000 +0300
@@ -474,9 +474,11 @@ function filter_form($value = FILTER_FOR
   $value = filter_resolve_format($value);
   $formats = filter_formats();

-  $extra = theme('filter_tips_more_info');
+  $extra = theme('filter_tips_more_info');
+  $settings = theme_get_settings();
+

-  if (count($formats) > 1) {
+  if (count($formats) > 1 || $settings['input_format_fieldset']) {
     $form = array(
       '#type' => 'fieldset',
       '#title' => t('Input format'),
diff -urp modules/system/system.admin.inc modules/system/system.admin.inc
--- modules/system/system.admin.inc	2008-08-30 12:49:44.000000000 +0300
+++ modules/system/system.admin.inc	2008-09-03 23:09:23.796875000 +0300
@@ -371,7 +371,7 @@ function system_theme_settings(&$form_st
     'search'               => t('Search box'),
     'favicon'              => t('Shortcut icon'),
     'main_menu'            => t('Main menu'),
-    'secondary_menu'      => t('Secondary menu'),
+    'secondary_menu'       => t('Secondary menu'),
   );

   // Some features are not always available
@@ -481,7 +481,20 @@ function system_theme_settings(&$form_st
       '#title' => t('Upload icon image'),
       '#description' => t("If you don't have direct file access to the server, use this field to upload your shortcut icon.")
     );
-  }
+  }
+
+  // Input format settings.
+  $form['input_format'] = array(
+    '#type' => 'fieldset',
+    '#title' => t('Input format'),
+    '#attributes' => array('class' => 'theme-settings-bottom'),
+  );
+  $form['input_format']['input_format_fieldset'] = array(
+    '#type' => 'checkbox',
+    '#title' => t('Always hide the filter tips in a collapsible fieldset'),
+    '#default_value' => $settings['input_format_fieldset'],
+    '#description' => t('Collapse the input format into a fieldset even if there is only a <em>single</em> input format available.')
+  );

   if ($key) {
     // Include the theme's theme-settings.php file