Eberhard Graether ea8ab3df8e ui: Custom style for dock widget title bars ...

* avoid style loading in every view on application start
* improved contrast of reference label
* moved Reset Window Layout action up in View menu

2018-01-05 01:06:49 +01:00

1.1 KiB

40x40px

Raw Permalink History