From 4e8e9c7adc69b73f4005955a52334eaf36ab19d5 Mon Sep 17 00:00:00 2001 From: swee Date: Wed, 18 Dec 2024 15:14:02 -0800 Subject: [PATCH] Update script.user.js --- script.user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script.user.js b/script.user.js index 9827f66..08b8aee 100644 --- a/script.user.js +++ b/script.user.js @@ -115,5 +115,5 @@ function waitForElm(selector) { } waitForElm('.ace_gutter').then((elm) => { // Set the theme of Ace Editor - Anywhere.Editor.editor.setOption("theme", "ace/theme/tomorrow_night") + Anywhere.Editor.editor.setOption("theme", "ace/theme/tomorrow_night"); });