]> git.joonet.de Git - adminer.git/commitdiff
Increase space after SQL result (fix #937)
authorJakub Vrana <jakub@vrana.cz>
Fri, 21 Mar 2025 21:31:44 +0000 (22:31 +0100)
committerJakub Vrana <jakub@vrana.cz>
Fri, 21 Mar 2025 21:32:49 +0000 (22:32 +0100)
CHANGELOG.md
adminer/sql.inc.php
adminer/static/default.css

index 5693b61f06fc78f41b01fa65f23ab0ccdcb3340a..3d94e604867cfa3e3f751c75dfbbbeac0db3918d 100644 (file)
@@ -9,6 +9,7 @@
 - CSS: Sticky table headers (bug #918)
 - CSS: Allow more custom styles with dark mode (bug #925)
 - CSS: Increase maximum width of string edit (bug #930)
+- CSS: Increase space after SQL result (bug #937)
 - Plugins: autoload plugins from adminer-plugins/
 - Plugins: configure plugins with adminer-plugins.php
 - Plugins: Display loaded plugins in server overview
index 8f2020c521b3845e3096d94982622b2cb5ac060c..64ef96b6fc6d611bb50f9a28fefa0d1bc108cc0d 100644 (file)
@@ -159,7 +159,7 @@ if (!$error && $_POST) {
                                                                                if (!$_POST["only_errors"]) {
                                                                                        echo "<form action='' method='post'>\n";
                                                                                        $num_rows = $result->num_rows;
-                                                                                       echo "<p>" . ($num_rows ? ($limit && $num_rows > $limit ? lang('%d / ', $limit) : "") . lang('%d row(s)', $num_rows) : "");
+                                                                                       echo "<p class='sql-footer'>" . ($num_rows ? ($limit && $num_rows > $limit ? lang('%d / ', $limit) : "") . lang('%d row(s)', $num_rows) : "");
                                                                                        echo $time;
                                                                                        if ($connection2 && preg_match("~^($space|\\()*+SELECT\\b~i", $q) && ($explain = explain($connection2, $q))) {
                                                                                                echo ", <a href='#$explain_id'>Explain</a>" . script("qsl('a').onclick = partial(toggle, '$explain_id');", "");
index 1145cfb8f8d59e2ea47620f5b404dec6afef8d00..a962ebdbcccd743c5eedbfa32c3afbebe000eae8 100644 (file)
@@ -59,6 +59,7 @@ input.wayoff { left: -1000px; position: absolute; }
 .view { font-style: italic; }
 .active { font-weight: bold; }
 .sqlarea { width: 98%; }
+.sql-footer { margin-bottom: 2.5em; }
 .explain table { white-space: pre; }
 .icon { width: 18px; height: 18px; background-color: navy; }
 .icon:hover { background-color: red; }