diff options
Diffstat (limited to 'src/gui/theme.cpp')
| -rw-r--r-- | src/gui/theme.cpp | 7 |
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); |