summaryrefslogtreecommitdiff
path: root/data/graphics/gui/windowmenu.xml
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2013-01-01 13:56:14 +0300
committerAndrei Karas <akaras@inbox.ru>2013-01-01 13:56:14 +0300
commit020c5e1b6abd52135a3b87fc38238498d7ac6e3d (patch)
treee95676cc3d718f1ed0fc35ec6b59e2fe6e84cf72 /data/graphics/gui/windowmenu.xml
parent9c47e5cfc0e91071e0b5ad12b08f7d0c017d7856 (diff)
downloadplus-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.gz
plus-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.bz2
plus-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.xz
plus-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.zip
Add theming support for top right buttons.
New theme file: windowmenu.xml Options in windowmenu.xml: padding - padding from window borders spacing - space between buttons.
Diffstat (limited to 'data/graphics/gui/windowmenu.xml')
-rw-r--r--data/graphics/gui/windowmenu.xml6
1 files changed, 6 insertions, 0 deletions
diff --git a/data/graphics/gui/windowmenu.xml b/data/graphics/gui/windowmenu.xml
new file mode 100644
index 000000000..3d9e84289
--- /dev/null
+++ b/data/graphics/gui/windowmenu.xml
@@ -0,0 +1,6 @@
+<skinset name="Default" image="window.png">
+ <widget type="Window">
+ <option name="padding" value="1" />
+ <option name="spacing" value="1" />
+ </widget>
+</skinset>