changeset 31223:94488ab70e12

change default style of dock wodget title bars (bug #62976) * gui-preferences-dw.h: custom title bar is default, new colors and 3D option for title bar
author Torsten Lilge <ttl-octave@mailbox.org>
date Mon, 05 Sep 2022 20:35:15 +0200
parents 1a0756f7c90a
children 45984c799215
files libgui/src/gui-preferences-dw.h
diffstat 1 files changed, 7 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- a/libgui/src/gui-preferences-dw.h	Sat Sep 03 00:18:49 2022 +0200
+++ b/libgui/src/gui-preferences-dw.h	Mon Sep 05 20:35:15 2022 +0200
@@ -33,21 +33,21 @@
 
 const gui_pref
 dw_title_custom_style ("DockWidgets/widget_title_custom_style",
-                       QVariant (false));
+                       QVariant (true));
 
-const gui_pref dw_title_3d ("DockWidgets/widget_title_3d", QVariant (50));
+const gui_pref dw_title_3d ("DockWidgets/widget_title_3d", QVariant (20));
 
-const gui_pref
-dw_title_fg_color ("DockWidgets/title_fg_color", QVariant (QColor (0, 0, 0)));
+const gui_pref dw_title_fg_color ("DockWidgets/title_fg_color",
+                                  QVariant (QColor (0, 0, 0)));
 
 const gui_pref dw_title_fg_color_active ("DockWidgets/title_fg_color_active",
-                                         QVariant (QColor (0, 0, 0)));
+                                         QVariant (QColor (255, 255, 255)));
 
 const gui_pref dw_title_bg_color ("DockWidgets/title_bg_color",
-                                  QVariant (QColor (255, 255, 255)));
+                                  QVariant (QColor (192, 192, 192)));
 
 const gui_pref dw_title_bg_color_active ("DockWidgets/title_bg_color_active",
-                                         QVariant (QColor (192, 192, 192)));
+                                         QVariant (QColor (128, 128, 128)));
 
 const gui_pref dw_icon_set ("DockWidgets/widget_icon_set", QVariant ("NONE"));