Add theme attribute for close button padding.

Attribute name: closePadding
Default value: 3 pixels.

1 files changed, 7 insertions, 0 deletions

diff --git a/src/gui/theme.cpp b/src/gui/theme.cpp
index 26f250c4c..26d1e7402 100644
--- a/src/gui/theme.cpp
+++ b/src/gui/theme.cpp
@@ -431,6 +431,7 @@ Skin *Theme::readSkin(const std::string &filename, const bool full)
     memset(&images, 0, sizeof(ImageRect));
     int padding = 3;
     int titlePadding = 4;
+    int closePadding = 3;
     std::map<std::string, int> *const mOptions
         = new std::map<std::string, int>();
 
@@ -483,6 +484,10 @@ Skin *Theme::readSkin(const std::string &filename, const bool full)
                     {
                         titlePadding = XML::getProperty(partNode, "value", 4);
                     }
+                    else if (name == "closePadding")
+                    {
+                        closePadding = XML::getProperty(partNode, "value", 3);
+                    }
                     else
                     {
                         (*mOptions)[name] = XML::getProperty(
@@ -501,6 +506,8 @@ Skin *Theme::readSkin(const std::string &filename, const bool full)
     if (dBorders)
         dBorders->decRef();
 
+    (*mOptions)["closePadding"] = closePadding;
+
     Skin *const skin = new Skin(border, images, filename, "", padding, 
         titlePadding, mOptions);
     skin->updateAlpha(mMinimumOpacity);