Update script.user.js

2024-12-18 15:14:02 -08:00 · 2024-12-18 15:14:02 -08:00 · 4e8e9c7adc
commit 4e8e9c7adc
parent b22d8b5970
1 changed files with 1 additions and 1 deletions
--- 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");
 });