From 3168ee536e53faf7ff25d2c4c5afcc70c881ad7e Mon Sep 17 00:00:00 2001 From: kingbri Date: Wed, 5 Jul 2023 15:51:47 -0400 Subject: [PATCH] Regex: Add an about section in editor Adds a small helpful message in the editor and a link to regexr for learning regex interactively. Signed-off-by: kingbri --- public/scripts/extensions/regex/editor.html | 11 ++++++++++- public/scripts/extensions/regex/index.js | 1 - 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/public/scripts/extensions/regex/editor.html b/public/scripts/extensions/regex/editor.html index 31bb8eada..e10ffe678 100644 --- a/public/scripts/extensions/regex/editor.html +++ b/public/scripts/extensions/regex/editor.html @@ -1,6 +1,15 @@
-

Regex Editor

+

Regex Editor + + ? + +

+ + + Regex is a tool to find/replace strings using regular expressions. If you want to learn more, click on the ? next to the title. + +
diff --git a/public/scripts/extensions/regex/index.js b/public/scripts/extensions/regex/index.js index 2cb4c2b5b..2920386e9 100644 --- a/public/scripts/extensions/regex/index.js +++ b/public/scripts/extensions/regex/index.js @@ -171,7 +171,6 @@ async function onRegexEditorOpenClick(existingId) { // Workaround for loading in sequence with other extensions // NOTE: Always puts extension at the top of the list, but this is fine since it's static jQuery(async () => { - console.log("REGEX CALLED") // Manually disable the extension since static imports auto-import the JS file if (extension_settings.disabledExtensions.includes("regex")) { return;