diff options
| author | Andrei Karas <akaras@inbox.ru> | 2012-09-06 23:12:03 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2012-09-06 23:12:03 +0300 |
| commit | 3aead4aa07f2b28c5a4d567d6ab53783a9de5556 (patch) | |
| tree | 14d8771a03104fe629f0d81d8bd2a199af04f17c /src/gui/widgets/window.h | |
| parent | 4ad3cd45f7a8c3f6d1817705c06223d1a2798a2f (diff) | |
| download | mv-3aead4aa07f2b28c5a4d567d6ab53783a9de5556.tar.gz mv-3aead4aa07f2b28c5a4d567d6ab53783a9de5556.tar.bz2 mv-3aead4aa07f2b28c5a4d567d6ab53783a9de5556.tar.xz mv-3aead4aa07f2b28c5a4d567d6ab53783a9de5556.zip | |
Add theme option for title bar height.
Option name: titlebarHeight
Default value: 20 px
Diffstat (limited to 'src/gui/widgets/window.h')
| -rw-r--r-- | src/gui/widgets/window.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/gui/widgets/window.h b/src/gui/widgets/window.h index 2c6c0ab8e..9cc6acc54 100644 --- a/src/gui/widgets/window.h +++ b/src/gui/widgets/window.h @@ -408,7 +408,11 @@ class Window : public gcn::Window, private gcn::WidgetListener bool getOptionBool(std::string name); - int getTitlePadding() const; + void setTitlePadding(int p) + { mTitlePadding = p; } + + int getTitlePadding() const + { return mTitlePadding; } Skin *mSkin; /**< Skin in use by this window */ @@ -472,6 +476,7 @@ class Window : public gcn::Window, private gcn::WidgetListener int mCaptionOffsetX; int mCaptionOffsetY; int mCaptionAlign; + int mTitlePadding; bool mRedraw; gcn::Font *mCaptionFont; }; |