]> git.joonet.de Git - adminer.git/commitdiff
Make space for the Use button
authorJakub Vrana <jakub@vrana.cz>
Sat, 22 Feb 2025 07:12:04 +0000 (08:12 +0100)
committerJakub Vrana <jakub@vrana.cz>
Sat, 22 Feb 2025 07:12:04 +0000 (08:12 +0100)
adminer/include/adminer.inc.php

index 81947a7a100b6b620fbe37bbb2e3c25465f7e958..7ead1a69c62c5900879da0df4cf069283e9cb2ba 100644 (file)
@@ -1042,7 +1042,7 @@ bodyLoad('<?php echo (is_object($connection) ? preg_replace('~^(\d\.?\d).*~s', '
                $db_events = script("mixin(qsl('select'), {onmousedown: dbMouseDown, onchange: dbChange});");
                echo "<span title='" . lang('Database') . "'>" . lang('DB') . "</span>: " . ($databases
                        ? "<select name='db'>" . optionlist(array("" => "") + $databases, DB) . "</select>$db_events"
-                       : "<input name='db' value='" . h(DB) . "' autocapitalize='off'>\n"
+                       : "<input name='db' value='" . h(DB) . "' autocapitalize='off' size='19'>\n"
                );
                echo "<input type='submit' value='" . lang('Use') . "'" . ($databases ? " class='hidden'" : "") . ">\n";
                if (support("scheme")) {