BuboBubo/topos
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Markdown now applies for note buffer

Browse Source
This commit is contained in:
Raphaël Forment
2023-08-04 00:27:23 +02:00
parent e9de465358
commit 4372ee2d6b
2 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/EditorSetup.ts
View File

@ -69,7 +69,6 @@ import { lintKeymap } from "@codemirror/lint";
export const editorSetup: Extension = (() => [ export const editorSetup: Extension = (() => [
lineNumbers(), lineNumbers(),
javascript(),
highlightActiveLineGutter(), highlightActiveLineGutter(),
highlightSpecialChars(), highlightSpecialChars(),
history(), history(),

6
src/main.ts
View File

@ -510,10 +510,8 @@ export class Editor {
) { ) {
this.flashBackground('#2d313d', 200) this.flashBackground('#2d313d', 200)
const possible_selectors = [ const possible_selectors = [
'[id^="play-button-"]', '[id^="play-button-"]', '[id^="pause-button-"]',
'[id^="pause-button-"]', '[id^="clear-button-"]', '[id^="stop-button-"]',
'[id^="clear-button-"]',
'[id^="stop-button-"]',
]; ];
let selector: number; let selector: number;
switch (button) { switch (button) {