From 9a6a45ca48032467b11eb6de4247c4f663011ad5 Mon Sep 17 00:00:00 2001 From: baldurk Date: Sun, 18 Feb 2018 21:23:59 +0000 Subject: [PATCH] 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. --- qrenderdoc/Styles/RDStyle/RDStyle.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/qrenderdoc/Styles/RDStyle/RDStyle.cpp b/qrenderdoc/Styles/RDStyle/RDStyle.cpp index 62cf83140..bad3e9a75 100644 --- a/qrenderdoc/Styles/RDStyle/RDStyle.cpp +++ b/qrenderdoc/Styles/RDStyle/RDStyle.cpp @@ -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;