6 Commits

Author	SHA1	Message	Date
zadam	c231b3cb79	styling changes of buttons	2022-12-11 13:20:37 +01:00
zadam	b85f335561	launcher improvements	2022-12-02 16:46:14 +01:00
Michael Redman	d1a763feef	Remove period from left pane toggle tooltip	2022-07-05 06:06:45 -05:00
zadam	e2c37a6f8c	add toggleLeftPane command/shortcut, closes #2225	2021-10-12 19:29:42 +02:00
zadam	4bf1c25721	fixed resizer for both left and right pane	2021-06-05 14:01:21 +02:00
zadam	2bfd7b844c	refactoring of pane => split, "pane" keeps its old meaning (left-pane, center-pane, right-pane)	2021-06-03 22:23:11 +02:00