make arrow button's arrow size scalable by the user

1 files changed, 2 insertions, 0 deletions

diff --git a/src/ButtonTheme.hh b/src/ButtonTheme.hh
index 2636960..0df252c 100644
--- a/src/ButtonTheme.hh
+++ b/src/ButtonTheme.hh
@@ -16,10 +16,12 @@ public:
 
     inline const FbTk::Texture &pressed() const { return *m_pressed_texture; }
     inline GC gc() const { return m_gc.gc(); }
+    inline int scale() const { return *m_scale; } // scale factor for inside objects
 private:
     FbTk::ThemeItem<FbTk::Color> m_pic_color;
     FbTk::ThemeItem<FbTk::Texture> m_pressed_texture;    
     FbTk::GContext m_gc;
+    FbTk::ThemeItem<int> m_scale;
 };
 
 #endif // BUTTONTHEME_HH