diff options
| author | Andrei Karas <akaras@inbox.ru> | 2013-01-01 13:56:14 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2013-01-01 13:56:14 +0300 |
| commit | 020c5e1b6abd52135a3b87fc38238498d7ac6e3d (patch) | |
| tree | e95676cc3d718f1ed0fc35ec6b59e2fe6e84cf72 /data/graphics/gui | |
| parent | 9c47e5cfc0e91071e0b5ad12b08f7d0c017d7856 (diff) | |
| download | mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.gz mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.bz2 mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.xz mv-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')
| -rw-r--r-- | data/graphics/gui/CMakeLists.txt | 1 | ||||
| -rw-r--r-- | data/graphics/gui/Makefile.am | 1 | ||||
| -rw-r--r-- | data/graphics/gui/windowmenu.xml | 6 |
3 files changed, 8 insertions, 0 deletions
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> |