diff options
| author | Andrei Karas <akaras@inbox.ru> | 2012-10-14 21:37:31 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2012-10-14 21:37:31 +0300 |
| commit | b06e6916d0bbd33d81b4a957b6362f7a0f8ea083 (patch) | |
| tree | e163d4231e8ca2a3abc794b5e24e577cb3c28232 /data/graphics/gui | |
| parent | db461ee046e63b7148174c40e05de76c5d7be31a (diff) | |
| download | plus-b06e6916d0bbd33d81b4a957b6362f7a0f8ea083.tar.gz plus-b06e6916d0bbd33d81b4a957b6362f7a0f8ea083.tar.bz2 plus-b06e6916d0bbd33d81b4a957b6362f7a0f8ea083.tar.xz plus-b06e6916d0bbd33d81b4a957b6362f7a0f8ea083.zip | |
Extend theming in tab control.
Add padding parameter.
Diffstat (limited to 'data/graphics/gui')
| -rw-r--r-- | data/graphics/gui/tab.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/data/graphics/gui/tab.xml b/data/graphics/gui/tab.xml index e00f7f907..be2301661 100644 --- a/data/graphics/gui/tab.xml +++ b/data/graphics/gui/tab.xml @@ -1,5 +1,7 @@ <skinset name="Default" image="window.png"> <widget type="Window" xpos="68" ypos="0"> + <option name="padding" value="4" /> + <!-- Top Row --> <part type="top-left-corner" xpos="0" ypos="0" width="10" height="5" /> <part type="top-edge" xpos="9" ypos="0" width="8" height="5" /> |