Themes: Add a theme flag for "default" or "flat" ProjectsMode

I'd like a "flat" style to have a "default" projects mode.
This patch introduces a FlatProjectsMode. The painting code of the
widgets in the project mode follow that instead of the
Theme::WidgetStyle.

In the course of it, DoubleTabWidget does not imitate the dummy toolbar
anymore, but calls the style painting code, instead. That makes the
theme color DoubleTabWidget1stEmptyAreaBackgroundColor obsolete, so that
key disappears from the Theme enum and also from the creatorthemes.

Change-Id: Ia1479c761f61753d6738a43bbde368bf0b8814b2
Reviewed-by: Tobias Hunger <tobias.hunger@theqtcompany.com>

3 files changed, 14 insertions, 14 deletions

diff --git a/share/qtcreator/themes/dark.creatortheme b/share/qtcreator/themes/dark.creatortheme
index 59ccedd45e..33c3c90bdb 100644
--- a/share/qtcreator/themes/dark.creatortheme
+++ b/share/qtcreator/themes/dark.creatortheme
@@ -31,7 +31,6 @@ ComboBoxTextColor=text
 DetailsButtonBackgroundColorHover=hoverBackground
 DetailsWidgetBackgroundColor=ff4a4a4a
 DockWidgetResizeHandleColor=shadowBackground
-DoubleTabWidget1stEmptyAreaBackgroundColor=normalBackground
 DoubleTabWidget1stSeparatorColor=hoverBackground
 DoubleTabWidget1stTabActiveTextColor=text
 DoubleTabWidget1stTabBackgroundColor=ff4a4a4a
@@ -174,6 +173,7 @@ DrawSearchResultWidgetFrame=false
 DrawTargetSelectorBottom=false
 ApplyThemePaletteGlobally=true
 FlatSideBarIcons=true
+FlatProjectsMode=true
 
 [Gradients]
 DetailsWidgetHeaderGradient\1\color=0
diff --git a/share/qtcreator/themes/darkframe.creatortheme b/share/qtcreator/themes/darkframe.creatortheme
index bdf4c28c6a..a33e75faaf 100644
--- a/share/qtcreator/themes/darkframe.creatortheme
+++ b/share/qtcreator/themes/darkframe.creatortheme
@@ -7,7 +7,7 @@ shadowBackground=ff404244
 text=ff000000
 textDisabled=55000000
 toolBarItem=b6fbfdff
-toolBarItemDisabled=38fbfdff
+toolBarItemDisabled=88a4a6a8
 hoverBackground=ff515151
 selectedBackground=ff151515
 normalBackground=ffffffff
@@ -30,18 +30,17 @@ CanceledSearchTextColor=ff0000
 ComboBoxArrowColor=toolBarItem
 ComboBoxArrowColorDisabled=toolBarItemDisabled
 ComboBoxTextColor=toolBarItem
-DetailsButtonBackgroundColorHover=hoverBackground
-DetailsWidgetBackgroundColor=ff4a4a4a
+DetailsButtonBackgroundColorHover=b4ffffff
+DetailsWidgetBackgroundColor=28ffffff
 DockWidgetResizeHandleColor=splitter
-DoubleTabWidget1stEmptyAreaBackgroundColor=normalBackground
-DoubleTabWidget1stSeparatorColor=hoverBackground
-DoubleTabWidget1stTabActiveTextColor=text
-DoubleTabWidget1stTabBackgroundColor=ff4a4a4a
-DoubleTabWidget1stTabInactiveTextColor=textDisabled
-DoubleTabWidget2ndSeparatorColor=hoverBackground
-DoubleTabWidget2ndTabActiveTextColor=text
-DoubleTabWidget2ndTabBackgroundColor=ff434343
-DoubleTabWidget2ndTabInactiveTextColor=textDisabled
+DoubleTabWidget1stSeparatorColor=ffff0000
+DoubleTabWidget1stTabActiveTextColor=ff000000
+DoubleTabWidget1stTabBackgroundColor=ffff0000
+DoubleTabWidget1stTabInactiveTextColor=ffffffff
+DoubleTabWidget2ndSeparatorColor=ffff0000
+DoubleTabWidget2ndTabActiveTextColor=ffffffff
+DoubleTabWidget2ndTabBackgroundColor=ffff0000
+DoubleTabWidget2ndTabInactiveTextColor=ff000000
 EditorPlaceholderColor=normalBackground
 FancyToolBarSeparatorColor=43ffffff
 FancyTabBarBackgroundColor=shadowBackground
@@ -176,6 +175,7 @@ DrawSearchResultWidgetFrame=false
 DrawTargetSelectorBottom=false
 ApplyThemePaletteGlobally=false
 FlatSideBarIcons=true
+FlatProjectsMode=false
 
 [Gradients]
 DetailsWidgetHeaderGradient\1\color=0
diff --git a/share/qtcreator/themes/default.creatortheme b/share/qtcreator/themes/default.creatortheme
index 18cfc5d225..63179e6785 100644
--- a/share/qtcreator/themes/default.creatortheme
+++ b/share/qtcreator/themes/default.creatortheme
@@ -25,7 +25,6 @@ ComboBoxTextColor=ffffffff
 DetailsButtonBackgroundColorHover=b4ffffff
 DetailsWidgetBackgroundColor=28ffffff
 DockWidgetResizeHandleColor=ff000000
-DoubleTabWidget1stEmptyAreaBackgroundColor=ffff0000
 DoubleTabWidget1stSeparatorColor=ffff0000
 DoubleTabWidget1stTabActiveTextColor=ff000000
 DoubleTabWidget1stTabBackgroundColor=ffff0000
@@ -168,6 +167,7 @@ DrawSearchResultWidgetFrame=true
 DrawTargetSelectorBottom=true
 ApplyThemePaletteGlobally=false
 FlatSideBarIcons=false
+FlatProjectsMode=false
 
 [Gradients]
 DetailsWidgetHeaderGradient\1\color=ffffff