4 Commits

Author	SHA1	Message	Date
zadam	893b6053d2	provide also explicit unhoist keyboard shortcut, #1305	2020-10-13 23:41:55 +02:00
zadam	ee4ce3ffd8	display unhoist button on the left of the note title so that it's always visible, #1223	2020-09-08 23:25:21 +02:00
zadam	6a3e27eb62	smaller refactorings in note_tree	2020-08-24 23:33:27 +02:00
zadam	29cec8112e	fix setup of new document, closes #966	2020-04-14 21:57:42 +02:00