From 686f330dc9e07910db506d6472d9b162811b1c38 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <mcihar@novell.com>
Date: Fri, 2 Apr 2010 13:05:24 +0200
Subject: [PATCH] Wrap code a bit to make it more readable.

No functional changes.
---
 navigation.php | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/navigation.php b/navigation.php
index 82f7f9507..81849b0dd 100644
--- a/navigation.php
+++ b/navigation.php
@@ -315,7 +315,20 @@ if ($GLOBALS['cfg']['LeftFrameLight'] && strlen($GLOBALS['db'])) {
     }
     echo '</a></p>';
     if ($table_count) {
-        echo '<span id=\'NavFilter\' style="display:none;"><span onclick="document.getElementById(\'fast_filter\').value=\'\'; fast_filter(\'\');document.getElementById(\'fast_filter\').focus();" style="background:white;color:black;cursor:pointer;padding:2px;margin:0 0 0 -20px;position:relative;float:right;" title="' . $strReset . '">X</span><input type="text" name="fast_filter" id="fast_filter" title="' . $strNavTableFilter . '" onkeyup="setTimeout(function(word){ return function(){ fast_filter(word);}}(this.value),1000);" style="width:90%;padding:0 -20px 0 0; padding:2px;"  onfocus="this.select();" /></span><script type="text/javascript">document.getElementById(\'NavFilter\').style.display=\'\';</script>';
+        ?>
+        <span id="NavFilter" style="display:none;">
+        <span
+            onclick="document.getElementById('fast_filter').value=''; fast_filter('');document.getElementById('fast_filter').focus();"
+            style="background:white;color:black;cursor:pointer;padding:2px;margin:0 0 0 -20px;position:relative;float:right;"
+            title="<?php echo $strReset; ?>">X</span>
+        <input type="text" name="fast_filter" id="fast_filter"
+            title="<?php echo $strNavTableFilter; ?>"
+            onkeyup="setTimeout(function(word){ return function(){ fast_filter(word);}}(this.value),1000);"
+            style="width:90%;padding:0 -20px 0 0; padding:2px;"
+            onfocus="this.select();" />
+        <script type="text/javascript">document.getElementById('NavFilter').style.display='';</script>
+        </span>
+        <?php
     }
 
     /**