4 Commits

Author	SHA1	Message	Date
Stefan Haller	b995e3eefa	Add user config gui.showSelectionInFocusedMainView	2025-04-20 16:23:06 +02:00
Stefan Haller	083acbff43	Make the main view searchable	2025-04-20 16:22:31 +02:00
Stefan Haller	7084df7d22	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-20 16:22:31 +02:00
Stefan Haller	91e9a54d12	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-20 16:22:31 +02:00