Reduce minimum tab width. Refs #866

* I'd like a smarter sizing scheme for tabs but unfortunately making it
  dependent on the widget size leads to unpredictable behaviour as the
  tab sizes aren't always updated at the right times.
This commit is contained in:
baldurk
2018-02-19 00:52:15 +00:00
parent cf1bd99d21
commit 9a6a45ca48
+1 -1
View File
@@ -70,7 +70,7 @@ static const int MenuBarMinimumWidth = 80;
static const int TabWidgetBorder = 1;
static const int TabMargin = 4;
static const int TabMinWidth = 120;
static const int TabMinWidth = 75;
static const int TabMaxWidth = 250;
static const int ItemHeaderMargin = 4;