summaryrefslogtreecommitdiff
path: root/src/gui/widgets/window.h
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2012-09-06 23:12:03 +0300
committerAndrei Karas <akaras@inbox.ru>2012-09-06 23:12:03 +0300
commit3aead4aa07f2b28c5a4d567d6ab53783a9de5556 (patch)
tree14d8771a03104fe629f0d81d8bd2a199af04f17c /src/gui/widgets/window.h
parent4ad3cd45f7a8c3f6d1817705c06223d1a2798a2f (diff)
downloadmv-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.h7
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;
};