diff options
author | 2022-08-17 21:43:29 +0200 | |
---|---|---|
committer | 2022-08-17 21:43:29 +0200 | |
commit | bb900e1bd40a6b7efd7a538114d985ea7f7e3e88 (patch) | |
tree | bb15a937ade92313dc654a640bc1de925442eff2 /subprojects/frontend/src/editor/LintPanelStore.ts | |
parent | refactor(frondend): improve editor store and theme (diff) | |
download | refinery-bb900e1bd40a6b7efd7a538114d985ea7f7e3e88.tar.gz refinery-bb900e1bd40a6b7efd7a538114d985ea7f7e3e88.tar.zst refinery-bb900e1bd40a6b7efd7a538114d985ea7f7e3e88.zip |
feat(frontend): custom search panel
Also improves editor styling (to enable panel styling).
Diffstat (limited to 'subprojects/frontend/src/editor/LintPanelStore.ts')
-rw-r--r-- | subprojects/frontend/src/editor/LintPanelStore.ts | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/subprojects/frontend/src/editor/LintPanelStore.ts b/subprojects/frontend/src/editor/LintPanelStore.ts new file mode 100644 index 00000000..502f9c59 --- /dev/null +++ b/subprojects/frontend/src/editor/LintPanelStore.ts | |||
@@ -0,0 +1,10 @@ | |||
1 | import { closeLintPanel, openLintPanel } from '@codemirror/lint'; | ||
2 | |||
3 | import type EditorStore from './EditorStore'; | ||
4 | import PanelStore from './PanelStore'; | ||
5 | |||
6 | export default class LintPanelStore extends PanelStore { | ||
7 | constructor(store: EditorStore) { | ||
8 | super('cm-panel-lint', openLintPanel, closeLintPanel, store); | ||
9 | } | ||
10 | } | ||