From 9847915fafee7fc3872aafb4395543b12174a1ae Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Wed, 19 Sep 2012 00:21:38 +0300
Subject: Add resize grip padding.

Fix resize grip position.
New theme option: resizePadding
---
 src/gui/theme.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/gui/theme.cpp')

diff --git a/src/gui/theme.cpp b/src/gui/theme.cpp
index 738b62672..c421e40e3 100644
--- a/src/gui/theme.cpp
+++ b/src/gui/theme.cpp
@@ -449,6 +449,7 @@ Skin *Theme::readSkin(const std::string &filename, const bool full)
     int titlePadding = 4;
     int titlebarHeight = 20;
     int closePadding = 3;
+    int resizePadding = 2;
     std::map<std::string, int> *const mOptions
         = new std::map<std::string, int>();
 
@@ -510,6 +511,11 @@ Skin *Theme::readSkin(const std::string &filename, const bool full)
                         titlebarHeight = XML::getProperty(
                             partNode, "value", 16);
                     }
+                    else if (name == "resizePadding")
+                    {
+                        resizePadding = XML::getProperty(
+                            partNode, "value", 2);
+                    }
                     else
                     {
                         (*mOptions)[name] = XML::getProperty(
@@ -530,6 +536,7 @@ Skin *Theme::readSkin(const std::string &filename, const bool full)
 
     (*mOptions)["closePadding"] = closePadding;
     (*mOptions)["titlebarHeight"] = titlebarHeight;
+    (*mOptions)["resizePadding"] = resizePadding;
 
     Skin *const skin = new Skin(border, images, filename, "", padding,
         titlePadding, mOptions);
-- 
cgit v1.2.3-60-g2f50