4 Commits

Author	SHA1	Message	Date
Stefan Haller	2a7578574d	Add user config gui.showSelectionInFocusedMainView	2025-06-13 16:49:59 +02:00
Stefan Haller	ec51efc82c	Make the main view searchable	2025-04-21 18:03:24 +02:00
Stefan Haller	1a93b2324b	Allow focussing the main view ... In this commit this is only possible by pressing '0' in a side panel; we'll add mouse clicking later in the branch. Also, you can't really do anything in the focused view except press escape to leave it again. We'll add some more functionality in a following commit.	2025-04-21 18:03:19 +02:00
Stefan Haller	b7b7c65999	Add class MainContext ... In this state of the code it isn't worth much because it's not any more than a SimpleContext, but we'll add things to it later in the branch.	2025-04-21 18:03:18 +02:00