diff options
| author | Andrei Karas <akaras@inbox.ru> | 2012-09-16 17:37:53 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2012-09-16 17:37:53 +0300 |
| commit | c530b85859d0de18891781877d22b438b7693087 (patch) | |
| tree | 9918b4a53513eeef8c370ecd8cc6ced897f8e1c4 /src/gui/widgets | |
| parent | b162094c7609fa37f2eef6be3fed0e26830bc506 (diff) | |
| download | mv-c530b85859d0de18891781877d22b438b7693087.tar.gz mv-c530b85859d0de18891781877d22b438b7693087.tar.bz2 mv-c530b85859d0de18891781877d22b438b7693087.tar.xz mv-c530b85859d0de18891781877d22b438b7693087.zip | |
Add theme option "titlebarBold".
If it set to non zero value, window title bar will use bold font.
Diffstat (limited to 'src/gui/widgets')
| -rw-r--r-- | src/gui/widgets/window.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui/widgets/window.cpp b/src/gui/widgets/window.cpp index 8c520342a..ce893c360 100644 --- a/src/gui/widgets/window.cpp +++ b/src/gui/widgets/window.cpp @@ -102,6 +102,8 @@ Window::Window(const std::string &caption, const bool modal, if (mSkin) { setPadding(mSkin->getPadding()); + if (getOptionBool("titlebarBold")) + mCaptionFont = reinterpret_cast<gcn::Font*>(boldFont); setTitlePadding(mSkin->getTitlePadding()); setTitleBarHeight(getOption("titlebarHeight")); mCaptionOffsetX = getOption("captionoffsetx"); |