From 960d7dede33db9e0b791ba9506b9f4c8ecbec7d3 Mon Sep 17 00:00:00 2001 From: zadam Date: Sun, 9 Aug 2020 23:20:57 +0200 Subject: [PATCH] add scrolling margins, #1181 --- src/public/app/widgets/note_tree.js | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/public/app/widgets/note_tree.js b/src/public/app/widgets/note_tree.js index 6499634eb..5d78a6904 100644 --- a/src/public/app/widgets/note_tree.js +++ b/src/public/app/widgets/note_tree.js @@ -307,6 +307,10 @@ export default class NoteTreeWidget extends TabAwareWidget { keyboard: false, // we takover keyboard handling in the hotkeys plugin extensions: utils.isMobile() ? ["dnd5", "clones"] : ["hotkeys", "dnd5", "clones"], source: treeData, + scrollOfs: { + top: 200, + bottom: 200 + }, scrollParent: this.$tree, minExpandLevel: 2, // root can't be collapsed click: (event, data) => {