summaryrefslogtreecommitdiff
path: root/plugingui/tabwidget.cc
diff options
context:
space:
mode:
authorBent Bisballe Nyeng <deva@aasimon.org>2019-02-03 19:24:47 +0100
committerBent Bisballe Nyeng <deva@aasimon.org>2019-02-03 19:24:47 +0100
commit152423c0274887415b50c0d31828036a8fe54708 (patch)
treebe221e80c5aa9cd554fbe01553fe3898a952467a /plugingui/tabwidget.cc
parent73bfd66285f1697abd3cffce4b12e09df814ecce (diff)
Increase tab-button width.
Diffstat (limited to 'plugingui/tabwidget.cc')
-rw-r--r--plugingui/tabwidget.cc12
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;