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