patch #3055886 [config] Add Left frame table filter visibility config option, thanks to eesau

ChangeLog

@@ -114,6 +114,7 @@ $Id$
 - [core] Remove last remaining parts of profiling code which was removed in 2006.
 - bug #3042665 [parser] Add workaround for MySQL way of handling backtick.
 - bug #3056610 [interface] Removed modification options for information_schema 
++ patch #3055886 [config] Add Left frame table filter visibility config option, thanks to eesau
 
 3.3.7.0 (not yet released)
 - patch #3050492 [PDF scratchboard] Cannot drag table box to the edge after

Documentation.html

@@ -1489,6 +1489,11 @@ CREATE DATABASE,ALTER DATABASE,DROP DATABASE</pre>
     or in a new one (<tt>new</tt>). Note: use <tt>new</tt> if you are
     linking to <tt>phpmyadmin.net</tt>.</dd>
 
+    <dt id="cfg_LeftDisplayTableFilter">$cfg['LeftDisplayTableFilter'] boolean</dt>
+    <dd>Defines whether or not to display a JavaScript filter box above the
+    list of tables in the left frame.
+    Defaults to <tt>TRUE</tt>.</dd>
+
     <dt id="cfg_LeftDisplayServers">$cfg['LeftDisplayServers'] boolean</dt>
     <dd>Defines whether or not to display a server choice at the top of the left frame.
         Defaults to FALSE.</dd>

libraries/config.default.php

@@ -773,6 +773,13 @@ $cfg['LeftLogoLink'] = 'main.php';
  */
 $cfg['LeftLogoLinkWindow'] = 'main';
 
+/**
+ * display a JavaScript table filter in the left frame
+ *
+ * @global boolean $cfg['LeftDisplayTableFilter']
+ */
+$cfg['LeftDisplayTableFilter'] = true;
+
 /**
  * display server choice at top of left frame
  *

navigation.php

@@ -286,7 +286,7 @@ if ($GLOBALS['cfg']['LeftFrameLight'] && strlen($GLOBALS['db'])) {
         $db_tooltip     = $GLOBALS['db'];
     }
 
-    if ($table_count) {
+    if ($table_count && $GLOBALS['cfg']['LeftDisplayTableFilter']) {
         ?>
         <span id="NavFilter">
         <input type="text" name="fast_filter" id="fast_filter" title="<?php echo __('Filter'); ?>" value="filter tables by name" />