5 Commits

Author	SHA1	Message	Date
zadam	48029cea7c	small refactorings	2023-06-29 22:10:13 +02:00
zadam	f50a9c250a	many small issues found by intellij analysis	2023-01-15 21:04:17 +01:00
zadam	e4dca4750f	fix overriding monospace font size, closes #2296	2021-10-31 16:48:21 +01:00
Abitofevrything	ec3b844026	Fix "Theme defined" option not working in font overrride (#2197)	2021-10-03 20:54:20 +02:00
zadam	e6bc8ed3b5	allow overriding theme fonts	2021-09-27 21:01:56 +02:00