4 Commits

Author	SHA1	Message	Date
Andreas Huber	02f1ce3af9	move font size update to settings class	2021-10-28 09:44:44 +02:00
Andreas Huber	f42ff06ce8	use wheel + ctrl to change font size	2021-10-28 09:40:40 +02:00
Andreas Huber	95d43e08f1	change font size	2021-10-25 19:31:28 +02:00
Andreas Huber	eab422a6ce	improve highlighting	2021-10-24 18:49:47 +02:00