From b06e6916d0bbd33d81b4a957b6362f7a0f8ea083 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sun, 14 Oct 2012 21:37:31 +0300
Subject: Extend theming in tab control.

Add padding parameter.
---
 data/graphics/gui/tab.xml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'data')

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" />
-- 
cgit v1.2.3-70-g09d2