diff options
| author | Andrei Karas <akaras@inbox.ru> | 2012-10-17 20:39:51 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2012-10-17 20:41:27 +0300 |
| commit | 5a9a9d113f88ab4e3f9e570397a744760d4520c1 (patch) | |
| tree | 68d5b87dbb37f556ad74b23d09d073c41a73c6c5 /data/graphics/gui | |
| parent | 098901c3c49ddaed12ecdcf1739a5f680b457dfe (diff) | |
| download | mv-5a9a9d113f88ab4e3f9e570397a744760d4520c1.tar.gz mv-5a9a9d113f88ab4e3f9e570397a744760d4520c1.tar.bz2 mv-5a9a9d113f88ab4e3f9e570397a744760d4520c1.tar.xz mv-5a9a9d113f88ab4e3f9e570397a744760d4520c1.zip | |
Extend radio button theming.
New options:
padding - padding from all sides except left
imagePadding - padding from left before image
imageSize - image size for computation width
spacing - space between image and text
width = imagePadding + imageSize + spacing + text width + padding
height = padding + text height + padding
Diffstat (limited to 'data/graphics/gui')
| -rw-r--r-- | data/graphics/gui/radio.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/data/graphics/gui/radio.xml b/data/graphics/gui/radio.xml index d825e5973..8d4040536 100644 --- a/data/graphics/gui/radio.xml +++ b/data/graphics/gui/radio.xml @@ -1,5 +1,10 @@ <skinset name="Default" image="window.png"> <widget type="Window" xpos="137" ypos="132"> + <option name="padding" value="0" /> + <option name="imagePadding" value="0" /> + <option name="imageSize" value="10" /> + <option name="spacing" value="2" /> + <part type="in" xpos="0" ypos="0" width="10" height="10" /> <part type="in-highlighted" xpos="14" ypos="0" width="10" height="10" /> <part type="out" xpos="0" ypos="14" width="10" height="10" /> |