diff options
Diffstat (limited to 'language-web/src/main/js/editor/EditorButtons.tsx')
-rw-r--r-- | language-web/src/main/js/editor/EditorButtons.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/editor/EditorButtons.tsx b/language-web/src/main/js/editor/EditorButtons.tsx index bd843dfe..9ccc238c 100644 --- a/language-web/src/main/js/editor/EditorButtons.tsx +++ b/language-web/src/main/js/editor/EditorButtons.tsx | |||
@@ -80,7 +80,7 @@ export const EditorButtons = observer(() => { | |||
80 | <ToggleButton | 80 | <ToggleButton |
81 | selected={editorStore.showLintPanel} | 81 | selected={editorStore.showLintPanel} |
82 | onClick={() => editorStore.toggleLintPanel()} | 82 | onClick={() => editorStore.toggleLintPanel()} |
83 | aria-label={`${editorStore.errorCount} errors, ${editorStore.warningCount} warnings, ${editorStore.infoCount} info`} | 83 | aria-label="Show diagnostics panel" |
84 | value="show-lint-panel" | 84 | value="show-lint-panel" |
85 | > | 85 | > |
86 | {getLintIcon(editorStore.highestDiagnosticLevel)} | 86 | {getLintIcon(editorStore.highestDiagnosticLevel)} |