From: Jakub Vrana <jakub@vrana.cz>
Date: Tue, 1 Apr 2025 10:31:45 +0000 (+0200)
Subject: AdminerPrism: Add border and resize
X-Git-Tag: v5.1.1~15
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=a03b05ceb457efcab45580b2c937fda88b135fc6;p=adminer.git

AdminerPrism: Add border and resize
---

diff --git a/plugins/prism.php b/plugins/prism.php
index 2a748db2..acd3583c 100644
--- a/plugins/prism.php
+++ b/plugins/prism.php
@@ -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';