diff options
| author | Andrei Karas <akaras@inbox.ru> | 2012-11-17 16:55:56 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2012-11-17 17:14:13 +0300 |
| commit | 35244e4120f3f9d36990e206380b1a2023e4d0b0 (patch) | |
| tree | b86b1ddf0f135b8b68bc5a49c40e3b792dafe165 /data/graphics/gui/browserbox.xml | |
| parent | 62b750528fd3d1064eaeb8ff33f58e7bf9b5aaa7 (diff) | |
| download | mv-35244e4120f3f9d36990e206380b1a2023e4d0b0.tar.gz mv-35244e4120f3f9d36990e206380b1a2023e4d0b0.tar.bz2 mv-35244e4120f3f9d36990e206380b1a2023e4d0b0.tar.xz mv-35244e4120f3f9d36990e206380b1a2023e4d0b0.zip | |
Add theming to browserbox.
New theme file: browserbox.xml
New theme options:
padding - padding for browserbox
newLinePadding - additional padding for new line wrapping.
Diffstat (limited to 'data/graphics/gui/browserbox.xml')
| -rw-r--r-- | data/graphics/gui/browserbox.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/data/graphics/gui/browserbox.xml b/data/graphics/gui/browserbox.xml new file mode 100644 index 000000000..35e2ea9a5 --- /dev/null +++ b/data/graphics/gui/browserbox.xml @@ -0,0 +1,6 @@ +<skinset name="Default" image="window.png"> + <widget type="Window"> + <option name="padding" value="1" /> + <option name="newLinePadding" value="15" /> + </widget> +</skinset> |