diff options
author | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 12:55:42 +0200 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2017-04-16 12:55:42 +0200 |
commit | 4317e7371e0acd39fe2ef76fc20a902f5cabdd42 (patch) | |
tree | 9d548648867647f76463c8aa425e8248e44a5002 /plugingui/tabwidget.h | |
parent | 7c074d96d8b6c93bf76bb093aab124c267287668 (diff) |
Add new tabs to the main window.
Diffstat (limited to 'plugingui/tabwidget.h')
-rw-r--r-- | plugingui/tabwidget.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/plugingui/tabwidget.h b/plugingui/tabwidget.h index 5a67743..d35550f 100644 --- a/plugingui/tabwidget.h +++ b/plugingui/tabwidget.h @@ -29,6 +29,7 @@ #include "widget.h" #include "tabbutton.h" #include "stackedwidget.h" +#include "texture.h" namespace GUI { @@ -44,15 +45,27 @@ public: //! \param widget The widget to show in the tab. void addTab(const std::string& title, Widget* widget); + std::size_t getBarHeight() const; + private: //! Callback for Widget::sizeChangeNotifier void sizeChanged(int width, int height); private: void switchTab(Widget* tabWidget); + void setActiveButtons(Widget* current_widget); std::list<TabButton> buttons; StackedWidget stack; + + TexturedBox topbar{getImageCache(), ":topbar.png", + 0, 0, // atlas offset (x, y) + 1, 1, 1, // dx1, dx2, dx3 + 17, 1, 1}; // dy1, dy2, dy3 + + Texture toplogo{getImageCache(), ":toplogo.png", + 0, 0, // atlas offset (x, y) + 95, 17}; // width, height }; } // GUI:: |