improved editor margin #422

This commit is contained in:
Jan Prochazka
2022-12-15 18:50:23 +01:00
parent 27b0af6408
commit 1a2acd764d

View File

@@ -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');