5 Commits

Author	SHA1	Message	Date
Andreas Huber	44e23af54f	option to open tab when saving selection as file	2021-11-01 17:53:15 +01:00
Andreas Huber	1f7ffe0488	option to disable the highlighting of search terms	2021-11-01 15:56:26 +01:00
Andreas Huber	9fb8a45ef7	save highlighters ... remove user config (not needed)	2021-10-31 18:05:10 +01:00
Andreas Huber	4f50fd03a4	more font_size to a new config file for session data ... We need config and session data. config is what the user changes. Only read by the app. session is what the app remembers. Read and written by the app.	2021-10-29 09:53:53 +02:00
Andreas Huber	bc8f9b006d	store font size in settings file	2021-10-29 09:21:46 +02:00