6 Commits

Author	SHA1	Message	Date
zadam	a7b103e07a	add a button to temporarily hide TOC, closes #3555	2023-01-24 16:24:51 +01:00
zadam	42e262a1c2	10x speed-up of event propagation	2022-06-23 23:03:35 +02:00
zadam	dcf31f8f95	toc fixes	2022-05-30 17:45:59 +02:00
zadam	fb31acc8e0	layout changes	2021-06-13 22:55:31 +02:00
zadam	4bf1c25721	fixed resizer for both left and right pane	2021-06-05 14:01:21 +02:00
zadam	a1d7737551	right pane restoration for custom widgets	2021-06-03 23:34:40 +02:00