diff options
| -rw-r--r-- | src/gui/theme.cpp | 7 | ||||
| -rw-r--r-- | src/gui/widgets/window.cpp | 1 |
2 files changed, 8 insertions, 0 deletions
diff --git a/src/gui/theme.cpp b/src/gui/theme.cpp index 860174efb..05d0f75ab 100644 --- a/src/gui/theme.cpp +++ b/src/gui/theme.cpp @@ -506,6 +506,7 @@ Skin *Theme::readSkin(const std::string &filename, const bool full) int padding = 3; int titlePadding = 4; int titlebarHeight = 0; + int titlebarHeightRelative = 0; int closePadding = 3; int stickySpacing = 3; int stickyPadding = 3; @@ -579,6 +580,11 @@ Skin *Theme::readSkin(const std::string &filename, const bool full) titlebarHeight = XML::getProperty( partNode, "value", 0); } + else if (name == "titlebarHeightRelative") + { + titlebarHeightRelative = XML::getProperty( + partNode, "value", 0); + } else if (name == "resizePadding") { resizePadding = XML::getProperty( @@ -606,6 +612,7 @@ Skin *Theme::readSkin(const std::string &filename, const bool full) (*mOptions)["stickyPadding"] = stickyPadding; (*mOptions)["stickySpacing"] = stickySpacing; (*mOptions)["titlebarHeight"] = titlebarHeight; + (*mOptions)["titlebarHeightRelative"] = titlebarHeightRelative; (*mOptions)["resizePadding"] = resizePadding; Skin *const skin = new Skin(border, images, filename, "", padding, diff --git a/src/gui/widgets/window.cpp b/src/gui/widgets/window.cpp index ad8014ee8..1b9b955f0 100644 --- a/src/gui/widgets/window.cpp +++ b/src/gui/widgets/window.cpp @@ -134,6 +134,7 @@ Window::Window(const std::string &caption, const bool modal, if (!mTitleBarHeight) mTitleBarHeight = mCaptionFont->getHeight(); + mTitleBarHeight += getOption("titlebarHeightRelative"); setPalette(getOption("palette")); childPalette = getOption("childPalette"); } |