Eberhard Graether
05ff92fdea
ui: fixed Linux issues
...
* no outline style for push buttons
* show error when not using Sourcetrail.sh script in console instead of message box, which won't load
2018-01-12 15:12:14 +01:00
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
Eberhard Graether