2 Commits

Include renames

Author	SHA1	Message	Date
Eberhard Graether	125e65e575	ui: fixed ui issues ... * fixed dock title buttons on bottom on Windows * fixed no gap between buttons on Linux * fixed dark scheme title bar contrast * fixed filter checkbox colors for dark schemes	2018-01-05 16:58:00 +01:00
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