]> git.joonet.de Git - adminer.git/commitdiff
AdminerPrism: Add border and resize
authorJakub Vrana <jakub@vrana.cz>
Tue, 1 Apr 2025 10:31:45 +0000 (12:31 +0200)
committerJakub Vrana <jakub@vrana.cz>
Tue, 1 Apr 2025 10:31:45 +0000 (12:31 +0200)
plugins/prism.php

index 2a748db22daea54767727d671bb7beadd0312693..acd3583ca32691daab0db37532ebe23390cf0e90 100644 (file)
@@ -20,8 +20,11 @@ class AdminerPrism {
 
        function syntaxHighlighting($tableStatuses) {
                ?>
-<link rel="stylesheet" href="<?php echo $this->editorRoot; ?>/layout.min.css">
-<link rel="stylesheet" href="<?php echo $this->editorRoot; ?>/themes/<?php echo $this->theme . $this->minified; ?>.css">
+<style>
+@import url(<?php echo "$this->editorRoot/layout$this->minified.css"; ?>);
+@import url(<?php echo "$this->editorRoot/themes/$this->theme$this->minified.css"; ?>);
+.prism-code-editor { border: 1px inset #ccc; resize: both; }
+</style>
 <script type="module"<?php echo Adminer\nonce(); ?>>
 import { editorFromPlaceholder } from '<?php echo $this->editorRoot; ?>/index.js';
 import { highlightText } from '<?php echo $this->editorRoot; ?>/prism/index.js';