diff --git a/src/EditorSetup.ts b/src/EditorSetup.ts index ab1b6d6..7b824d6 100644 --- a/src/EditorSetup.ts +++ b/src/EditorSetup.ts @@ -69,7 +69,6 @@ import { lintKeymap } from "@codemirror/lint"; export const editorSetup: Extension = (() => [ lineNumbers(), - javascript(), highlightActiveLineGutter(), highlightSpecialChars(), history(), diff --git a/src/main.ts b/src/main.ts index 6e9616d..6310e13 100644 --- a/src/main.ts +++ b/src/main.ts @@ -510,10 +510,8 @@ export class Editor { ) { this.flashBackground('#2d313d', 200) const possible_selectors = [ - '[id^="play-button-"]', - '[id^="pause-button-"]', - '[id^="clear-button-"]', - '[id^="stop-button-"]', + '[id^="play-button-"]', '[id^="pause-button-"]', + '[id^="clear-button-"]', '[id^="stop-button-"]', ]; let selector: number; switch (button) {