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

1022 B

40x40px

Raw Permalink History