Set scroll margin

2024-12-26 08:38:48 +01:00 · 2022-12-30 15:04:48 +01:00 · 2022-12-30 15:04:48 +01:00 · 4307bf6d0f
commit 4307bf6d0f
parent 937c5af191
1 changed files with 3 additions and 0 deletions
--- a/heynote-codemirror/src/editor.js
+++ b/heynote-codemirror/src/editor.js
@ -48,6 +48,9 @@ export class HeynoteEditor {
                customSetup, 
                nord,
                indentUnit.of("    "),
+                EditorView.scrollMargins.of(f => {
+                    return {top: 80, bottom: 80}
+                }),
                heynoteLang(),
                noteBlockExtension(),