fix(frontend): editor selection visibility

1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/frontend/src/editor/EditorStore.ts b/subprojects/frontend/src/editor/EditorStore.ts
index c74e732f..d13f644c 100644
--- a/subprojects/frontend/src/editor/EditorStore.ts
+++ b/subprojects/frontend/src/editor/EditorStore.ts
@@ -255,6 +255,10 @@ export default class EditorStore {
     log.debug('Show line numbers', this.showLineNumbers);
   }
 
+  get hasSelection(): boolean {
+    return this.state.selection.ranges.some(({ from, to }) => from !== to);
+  }
+
   formatText(): boolean {
     this.client.formatText();
     return true;