fix: editor gutter pin not working

This commit is contained in:
Fabio Di Stasio 2022-06-24 17:26:28 +02:00
parent 91d0735a5f
commit cfd82c8f41
1 changed files with 3 additions and 3 deletions

View File

@ -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();
});