From 19cd11118cde7160cd447c81bc965007c0437479 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 16 Aug 2022 21:14:50 +0200 Subject: refactor(frondend): improve editor store and theme Also bumps frontend dependencies. --- subprojects/frontend/src/editor/EditorButtons.tsx | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'subprojects/frontend/src/editor/EditorButtons.tsx') diff --git a/subprojects/frontend/src/editor/EditorButtons.tsx b/subprojects/frontend/src/editor/EditorButtons.tsx index 1412a314..34b64751 100644 --- a/subprojects/frontend/src/editor/EditorButtons.tsx +++ b/subprojects/frontend/src/editor/EditorButtons.tsx @@ -19,7 +19,7 @@ import { useRootStore } from '../RootStore'; // Exhastive switch as proven by TypeScript. // eslint-disable-next-line consistent-return -function getLintIcon(severity: Diagnostic['severity'] | null) { +function getLintIcon(severity: Diagnostic['severity'] | undefined) { switch (severity) { case 'error': return ; @@ -61,16 +61,16 @@ function EditorButtons(): JSX.Element { editorStore.toggleSearchPanel()} + selected={editorStore.searchPanel.state} + onClick={() => editorStore.searchPanel.toggle()} aria-label="Show find/replace" value="show-search-panel" > editorStore.toggleLintPanel()} + selected={editorStore.lintPanel.state} + onClick={() => editorStore.lintPanel.toggle()} aria-label="Show diagnostics panel" value="show-lint-panel" > -- cgit v1.2.3-54-g00ecf