Make the theme variants available as themes

This makes it easier to implement the theme switching
in widget-factory, since we don't have a variant setting.
This commit is contained in:
Matthias Clasen 2021-01-15 01:07:08 -05:00
parent 0dcf95b898
commit 3654bcfbe8

View File

@ -32,7 +32,12 @@ def get_files(subdir,extension):
xml += '''
<file>theme/Empty/gtk.css</file>
<file>theme/Default/gtk.css</file>
<file alias='theme/Default-dark/gtk.css'>theme/Default/gtk-dark.css</file>
<file alias='theme/Default-hc/gtk.css'>theme/Default/gtk-hc.css</file>
<file alias='theme/Default-hc-dark/gtk.css'>theme/Default/gtk-hc-dark.css</file>
<file>theme/Default/gtk-light.css</file>
<file>theme/Default/gtk-dark.css</file>
<file>theme/Default/gtk-hc.css</file>