diff options
author | Kristóf Marussy <kristof@marussy.com> | 2022-09-30 20:06:09 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2022-10-03 20:06:52 +0200 |
commit | cfdc9eae27e0fc6197abe694c7488a169dd618e9 (patch) | |
tree | 9ea9d5d2282369162a5fe8baa1f0ea79d5d2f10d /subprojects/frontend/src/editor/EditorArea.tsx | |
parent | feat: data structure for default assertions (diff) | |
download | refinery-cfdc9eae27e0fc6197abe694c7488a169dd618e9.tar.gz refinery-cfdc9eae27e0fc6197abe694c7488a169dd618e9.tar.zst refinery-cfdc9eae27e0fc6197abe694c7488a169dd618e9.zip |
fix(frontend): editor selection visibility
Diffstat (limited to 'subprojects/frontend/src/editor/EditorArea.tsx')
-rw-r--r-- | subprojects/frontend/src/editor/EditorArea.tsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/frontend/src/editor/EditorArea.tsx b/subprojects/frontend/src/editor/EditorArea.tsx index 174b1205..e6227672 100644 --- a/subprojects/frontend/src/editor/EditorArea.tsx +++ b/subprojects/frontend/src/editor/EditorArea.tsx | |||
@@ -46,6 +46,7 @@ export default observer(function EditorArea({ | |||
46 | > | 46 | > |
47 | <EditorTheme | 47 | <EditorTheme |
48 | showLineNumbers={editorStore.showLineNumbers} | 48 | showLineNumbers={editorStore.showLineNumbers} |
49 | showActiveLine={!editorStore.hasSelection} | ||
49 | ref={editorParentRef} | 50 | ref={editorParentRef} |
50 | /> | 51 | /> |
51 | <EditorAreaDecorations parent={parent} scroller={scroller} /> | 52 | <EditorAreaDecorations parent={parent} scroller={scroller} /> |