diff options
| author | Andrei Karas <akaras@inbox.ru> | 2013-05-02 01:00:19 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2013-05-02 01:00:19 +0300 |
| commit | dc7431273d948d298976fc54dfba04dc9607917b (patch) | |
| tree | f2ebef6567cc2ce07ae567de6602a3e6ffc3e53d /src/gui/theme.cpp | |
| parent | 209fdbeaf69176fdab23604e820a73103e66776d (diff) | |
| download | manaplus-dc7431273d948d298976fc54dfba04dc9607917b.tar.gz manaplus-dc7431273d948d298976fc54dfba04dc9607917b.tar.bz2 manaplus-dc7431273d948d298976fc54dfba04dc9607917b.tar.xz manaplus-dc7431273d948d298976fc54dfba04dc9607917b.zip | |
add new theme option for adjusting titlebar height.
New theme option: titlebarHeightRelative
Default value: 0
Because titlebar height can be calculated from font height.
It can be changed by this option.
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 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, |