From 1a2acd764d88dcb83171a9268346fb7f625a6302 Mon Sep 17 00:00:00 2001 From: Jan Prochazka Date: Thu, 15 Dec 2022 18:50:23 +0100 Subject: [PATCH] improved editor margin #422 --- packages/web/src/query/AceEditor.svelte | 1 + 1 file changed, 1 insertion(+) diff --git a/packages/web/src/query/AceEditor.svelte b/packages/web/src/query/AceEditor.svelte index 2968ec365..a2a188104 100644 --- a/packages/web/src/query/AceEditor.svelte +++ b/packages/web/src/query/AceEditor.svelte @@ -447,6 +447,7 @@ editor.container.addEventListener('contextmenu', handleContextMenu); editor.keyBinding.addKeyboardHandler(handleKeyDown); + editor.renderer.setScrollMargin(2, 0); changedQueryParts(); // editor.session.addGutterDecoration(0, 'ace-gutter-sql-run');