diff options
| author | Andrei Karas <akaras@inbox.ru> | 2013-01-01 13:56:14 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2013-01-01 13:56:14 +0300 |
| commit | 020c5e1b6abd52135a3b87fc38238498d7ac6e3d (patch) | |
| tree | e95676cc3d718f1ed0fc35ec6b59e2fe6e84cf72 /src/gui/windowmenu.h | |
| parent | 9c47e5cfc0e91071e0b5ad12b08f7d0c017d7856 (diff) | |
| download | mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.gz mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.bz2 mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.tar.xz mv-020c5e1b6abd52135a3b87fc38238498d7ac6e3d.zip | |
Add theming support for top right buttons.
New theme file:
windowmenu.xml
Options in windowmenu.xml:
padding - padding from window borders
spacing - space between buttons.
Diffstat (limited to 'src/gui/windowmenu.h')
| -rw-r--r-- | src/gui/windowmenu.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/gui/windowmenu.h b/src/gui/windowmenu.h index 635febaec..10fec6fb4 100644 --- a/src/gui/windowmenu.h +++ b/src/gui/windowmenu.h @@ -108,6 +108,9 @@ class WindowMenu final : public Container, void updateButtons(); + Skin *mSkin; + int mPadding; + int mSpacing; TextPopup *mTextPopup; std::vector <Button*> mButtons; std::map <std::string, ButtonInfo*> mButtonNames; |