# HG changeset patch # User Torsten Lilge # Date 1662402915 -7200 # Node ID 94488ab70e120ee9b08e1b35dcd7ca9e0d2ceae7 # Parent 1a0756f7c90af1fe2b7ecd7f682ae8cc54e20f2d 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 diff -r 1a0756f7c90a -r 94488ab70e12 libgui/src/gui-preferences-dw.h --- 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"));