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

..

data

ui: fixed ui issues

2018-01-05 16:58:00 +01:00

user

ui: Added option to show/hide referenced builtin types in graph, default is hide (issue #409)

2017-11-26 01:25:58 +01:00