From 020c5e1b6abd52135a3b87fc38238498d7ac6e3d Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Tue, 1 Jan 2013 13:56:14 +0300
Subject: 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.
---
 src/gui/windowmenu.h | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/gui/windowmenu.h')

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;
-- 
cgit v1.2.3-60-g2f50