patch #3055886 [config] update, changed boolean to integer for more precise control

2010-12-02 16:31:49 +01:00
parent 2081a44d23
commit 8017a61253
6 changed files with 12 additions and 9 deletions
--- a/navigation.php
+++ b/navigation.php
@@ -286,7 +286,7 @@ if ($GLOBALS['cfg']['LeftFrameLight'] && strlen($GLOBALS['db'])) {
        $db_tooltip     = $GLOBALS['db'];
    }

-    if ($table_count && $GLOBALS['cfg']['LeftDisplayTableFilter']) {
+    if ($table_count >= $GLOBALS['cfg']['LeftDisplayTableFilterMinimum']) {
        ?>
        <span id="NavFilter">
        <input type="text" name="fast_filter" id="fast_filter" title="<?php echo __('Filter'); ?>" value="<?php echo __('filter tables by name'); ?>" />