alessandro90 f87df03147 Makes ThemeManager even more flexible. Also set 'Dark' as default ...

theme. Also remove ugly 'system' theme

2019-05-18 15:47:03 +02:00

2.5 KiB

Raw Blame History

View Raw