From 77145846c55a939fb8bfc2feca51ef213de3f21b Mon Sep 17 00:00:00 2001 From: Bhsd <55071315+bhsd-harry@users.noreply.github.com> Date: Mon, 22 Jan 2024 01:34:39 +0800 Subject: [PATCH] feat(Gadget-wikieditor-highlight.js): multiple selections (#408) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit * feat(Gadget-wikieditor-highlight.js): multiple selections Depend on codemirror-mediawiki@2.1.11 * Update MediaWiki:Gadget-wikieditor-highlight.js 临时加速缓存更新 --- .../MediaWiki:Gadget-wikieditor-highlight.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js index f62f150b..fabeb9bb 100644 --- a/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js +++ b/src/gadgets/wikieditor-highlight/MediaWiki:Gadget-wikieditor-highlight.js @@ -18,7 +18,7 @@ const script = document.createElement("script"); script.addEventListener("load", resolve); script.type = "module"; - script.src = "https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki/mw/dist/base.min.js"; + script.src = "https://testingcf.jsdelivr.net/npm/@bhsd/codemirror-mediawiki/mw/dist/base.js"; document.head.append(script); }); } @@ -28,6 +28,7 @@ "highlightActiveLine", "bracketMatching", "closeBrackets", + "allowMultipleSelections", ]); const [config] = await Promise.all([ libCachedCode.getCachedCode("https://testingcf.jsdelivr.net/npm/wikiparser-node/config/moegirl.json"),