diff bootstrap.conf @ 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 760d38460452
children 00e2eafd1c0f
line wrap: on
line diff