Add resize grip padding.

Fix resize grip position.
New theme option: resizePadding

1 files changed, 7 insertions, 0 deletions

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);