Unify textarea highlighting

diff --git a/adminer/static/editing.js b/adminer/static/editing.js
index d200104df5e01760de6eab38d6a709ec11ad1c3d..d520449575683b6eab1c4c2f41e048c6fe7a1129 100644 (file)
--- a/adminer/static/editing.js
+++ b/adminer/static/editing.js
@@ -46,6 +46,10 @@ function syntaxHighlighting(version, vendor) {
                                const pre = jush.textarea(tag);
                                if (pre) {
                                        setupSubmitHighlightInput(pre);
+                                       tag.onchange = () => {
+                                               pre.textContent = tag.value;
+                                               pre.oninput();
+                                       };
                                }
                        }
                }

diff --git a/plugins/codemirror.php b/plugins/codemirror.php
index dfb2455c7e0a460f41d563f5fe017117e59d9542..f280616c611752b016e03433fac57570abe6f071 100644 (file)
--- a/plugins/codemirror.php
+++ b/plugins/codemirror.php
@@ -82,6 +82,7 @@ for (const el of qsa('textarea')) {
                        }
                });
                setupSubmitHighlightInput(cm.getWrapperElement());
+               el.onchange = () => cm.setValue(el.value);
        }
 }
 </script>

diff --git a/plugins/sql-gemini.php b/plugins/sql-gemini.php
index 215b1caa3bdedf203cc1afc9ef4925b97fa7cabf..63a6d856d3e99fbfabbadc84fa469be0f34c79a5 100644 (file)
--- a/plugins/sql-gemini.php
+++ b/plugins/sql-gemini.php
@@ -59,17 +59,9 @@ const geminiText = qsl('textarea');
 const geminiButton = qsl('input');
 
 function setSqlareaValue(value) {
-       qs('textarea.sqlarea').value = value;
-       const jushPre = qs('pre.sqlarea');
-       if (jushPre) {
-               jushPre.textContent = value;
-               jushPre.oninput(); // syntax highlighting
-       }
-       const cmPre = qs('.CodeMirror');
-       if (cmPre) {
-               cmPre.CodeMirror.setValue(value);
-               cmPre.CodeMirror.refresh();
-       }
+       const sqlarea = qs('textarea.sqlarea');
+       sqlarea.value = value;
+       sqlarea.onchange();
 }
 
 geminiButton.onclick = () => {