wp/xed
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity

Add a preference to allow using the dark variant of a theme if available

Browse Source
This commit is contained in:
JosephMcc
2017-02-09 13:58:08 -08:00
parent 69f71de2de
commit 3a83594498
6 changed files with 65 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
xed/resources/ui/xed-preferences-dialog.ui
View File

@@ -1118,6 +1118,22 @@
<property name="position">0</property>
</packing>
</child>
<child>
<object class="GtkCheckButton" id="prefer_dark_theme_checkbutton">
<property name="label" translatable="yes">Use dark theme variant (if available)</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="receives_default">False</property>
<property name="margin_left">12</property>
<property name="xalign">0</property>
<property name="draw_indicator">True</property>
</object>
<packing>
<property name="expand">False</property>
<property name="fill">False</property>
<property name="position">1</property>
</packing>
</child>
<child>
<object class="GtkHBox" id="hbox115">
<property name="visible">True</property>
@@ -1216,7 +1232,7 @@
<packing>
<property name="expand">True</property>
<property name="fill">True</property>
<property name="position">1</property>
<property name="position">2</property>
</packing>
</child>
</object>