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} /> |