2 Commits

Author	SHA1	Message	Date
Andreas Huber	aee0ff9968	add dialog to manage highlighters ... - no support for "no color" - settings not saved to disk	2021-10-30 16:25:34 +02:00
Andreas Huber	d4db320e17	read highlighters from settings.ini	2021-10-29 11:53:47 +02:00