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

..

down-arrow_hover.png

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

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

down-arrow_off.png

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

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

down-arrow.png

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

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

off_press.png

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

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

off.png

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

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

on_press.png

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

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

on.png

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

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

search_icon.png

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

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

up-arrow_hover.png

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

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

up-arrow_off.png

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

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

up-arrow.png

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

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

volume.png

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

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