From 020c5e1b6abd52135a3b87fc38238498d7ac6e3d Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Tue, 1 Jan 2013 13:56:14 +0300
Subject: 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.
---
 data/graphics/gui/CMakeLists.txt | 1 +
 data/graphics/gui/Makefile.am    | 1 +
 data/graphics/gui/windowmenu.xml | 6 ++++++
 3 files changed, 8 insertions(+)
 create mode 100644 data/graphics/gui/windowmenu.xml

(limited to 'data/graphics/gui')

diff --git a/data/graphics/gui/CMakeLists.txt b/data/graphics/gui/CMakeLists.txt
index d71f54822..f0244d697 100644
--- a/data/graphics/gui/CMakeLists.txt
+++ b/data/graphics/gui/CMakeLists.txt
@@ -72,6 +72,7 @@ SET (FILES
     unknown-item.png
     window.png
     window.xml
+    windowmenu.xml
     world.xml
     )
 
diff --git a/data/graphics/gui/Makefile.am b/data/graphics/gui/Makefile.am
index b058a10b5..c691404e9 100644
--- a/data/graphics/gui/Makefile.am
+++ b/data/graphics/gui/Makefile.am
@@ -75,6 +75,7 @@ gui_DATA =				\
 	unknown-item.png		\
 	window.png			\
 	window.xml			\
+	windowmenu.xml			\
 	world.xml
 
 EXTRA_DIST =				\
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>
-- 
cgit v1.2.3-70-g09d2