diff options
author | Bent Bisballe Nyeng <deva@aasimon.org> | 2019-02-03 19:24:47 +0100 |
---|---|---|
committer | Bent Bisballe Nyeng <deva@aasimon.org> | 2019-02-03 19:24:47 +0100 |
commit | 152423c0274887415b50c0d31828036a8fe54708 (patch) | |
tree | be221e80c5aa9cd554fbe01553fe3898a952467a /plugingui/tabwidget.cc | |
parent | 73bfd66285f1697abd3cffce4b12e09df814ecce (diff) |
Increase tab-button width.
Diffstat (limited to 'plugingui/tabwidget.cc')
-rw-r--r-- | plugingui/tabwidget.cc | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/plugingui/tabwidget.cc b/plugingui/tabwidget.cc index b18f62f..7ba39c9 100644 --- a/plugingui/tabwidget.cc +++ b/plugingui/tabwidget.cc @@ -50,6 +50,16 @@ void TabWidget::addTab(const std::string& title, Widget* widget) sizeChanged(width(), height()); } +void TabWidget::setTabWidth(std::size_t width) +{ + tab_width = width; +} + +std::size_t TabWidget::getTabWidth() const +{ + return tab_width; +} + std::size_t TabWidget::getBarHeight() const { return topbar.height(); @@ -94,7 +104,7 @@ void TabWidget::sizeChanged(int width, int height) { std::size_t pos = 0; - int button_width = 1; + int button_width = tab_width; int bar_height = 25; int button_border_width = 10; |