From cfd82c8f419952879b386187eb146847098263fe Mon Sep 17 00:00:00 2001
From: Fabio Di Stasio <fabio286@gmail.com>
Date: Fri, 24 Jun 2022 17:26:28 +0200
Subject: [PATCH] fix: editor gutter pin not working

---
 src/renderer/components/QueryEditor.vue | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/renderer/components/QueryEditor.vue b/src/renderer/components/QueryEditor.vue
index 5a07b0d4..6d7a9130 100644
--- a/src/renderer/components/QueryEditor.vue
+++ b/src/renderer/components/QueryEditor.vue
@@ -320,11 +320,11 @@ onMounted(() => {
          return;
 
       const row = e.getDocumentPosition().row;
-      const breakpoints = e.editor.value.session.getBreakpoints(row, 0);
+      const breakpoints = e.editor.session.getBreakpoints(row, 0);
       if (typeof breakpoints[row] === typeof undefined)
-         e.editor.value.session.setBreakpoint(row);
+         e.editor.session.setBreakpoint(row);
       else
-         e.editor.value.session.clearBreakpoint(row);
+         e.editor.session.clearBreakpoint(row);
       e.stop();
    });