diff options
| author | Piotr Przybylski <piotrprz@gmail.com> | 2011-08-06 00:39:16 +0400 |
|---|---|---|
| committer | Piotr Przybylski <piotrprz@gmail.com> | 2011-08-06 00:39:16 +0400 |
| commit | 680cfbe726e52c016435683fec809d105954afa1 (patch) | |
| tree | 2a487d58b1e34d6c0ff7933f9f3e6c99c0f74c1c /server_synchronize.php | |
| parent | 990820f5fac3ad741662419c923e2bda74097442 (diff) | |
Server Synchronize: better layout for displayed queries
Diffstat (limited to 'server_synchronize.php')
| -rw-r--r-- | server_synchronize.php | 6 |
1 files 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>"; } /** |