From 680cfbe726e52c016435683fec809d105954afa1 Mon Sep 17 00:00:00 2001
From: Piotr Przybylski <piotrprz@gmail.com>
Date: Fri, 5 Aug 2011 22:39:16 +0200
Subject: [PATCH] Server Synchronize: better layout for displayed queries

---
 server_synchronize.php | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/server_synchronize.php b/server_synchronize.php
index 0d4577c98a..623681c807 100644
--- a/server_synchronize.php
+++ b/server_synchronize.php
@@ -948,9 +948,7 @@ if (isset($_REQUEST['synchronize_db'])) {
     /**
     * Displaying the queries.
     */
-    echo '<h5>' . __('The following queries have been executed:') . '</h5>';
-    echo '<div id="serverstatus" style = "overflow: auto; width: 1050px; height: 180px;
-         border-left: 1px gray solid; border-bottom: 1px gray solid; padding: 0px; margin: 0px"> ';
+    echo '<fieldset><legend>' . __('Executed queries') . '</legend>';
     /**
     * Applying all sorts of differences for each matching table
     */
@@ -1021,7 +1019,7 @@ if (isset($_REQUEST['synchronize_db'])) {
             PMA_populateTargetTables($src_db, $trg_db, $src_link, $trg_link, $source_tables_uncommon, $q, $uncommon_tables_fields, true);
         }
     }
-    echo "</div>";
+    echo "</fieldset>";
 }
 
 /**
-- 
2.11.4.GIT