diff options
author | 2024-01-03 18:38:22 +0100 | |
---|---|---|
committer | 2024-01-03 21:14:04 +0100 | |
commit | baa28c9d6b6562a54eee0ad726e22d1b8811751b (patch) | |
tree | 76daca5944872f0b21d6cef472c5cb0b393dff8b /subprojects/frontend/src/editor/EditorArea.tsx | |
parent | refactor(web): subtler error predicate highlight (diff) | |
download | refinery-baa28c9d6b6562a54eee0ad726e22d1b8811751b.tar.gz refinery-baa28c9d6b6562a54eee0ad726e22d1b8811751b.tar.zst refinery-baa28c9d6b6562a54eee0ad726e22d1b8811751b.zip |
feat(web): toggle identifier coloring
Diffstat (limited to 'subprojects/frontend/src/editor/EditorArea.tsx')
-rw-r--r-- | subprojects/frontend/src/editor/EditorArea.tsx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/EditorArea.tsx b/subprojects/frontend/src/editor/EditorArea.tsx index 905fa2ec..aafaad40 100644 --- a/subprojects/frontend/src/editor/EditorArea.tsx +++ b/subprojects/frontend/src/editor/EditorArea.tsx | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/> | 2 | * SPDX-FileCopyrightText: 2021-2024 The Refinery Authors <https://refinery.tools/> |
3 | * | 3 | * |
4 | * SPDX-License-Identifier: EPL-2.0 | 4 | * SPDX-License-Identifier: EPL-2.0 |
5 | */ | 5 | */ |
@@ -38,6 +38,7 @@ export default observer(function EditorArea({ | |||
38 | <EditorTheme | 38 | <EditorTheme |
39 | showLineNumbers={editorStore.showLineNumbers} | 39 | showLineNumbers={editorStore.showLineNumbers} |
40 | showActiveLine={!editorStore.hasSelection} | 40 | showActiveLine={!editorStore.hasSelection} |
41 | colorIdentifiers={editorStore.colorIdentifiers} | ||
41 | ref={editorParentRef} | 42 | ref={editorParentRef} |
42 | /> | 43 | /> |
43 | </Box> | 44 | </Box> |