Eberhard Graether 3e59dd5396 ui: different background color for code view snippet list to amplify layering ...

* improved contrasts in dark scheme

2017-12-04 11:55:11 +01:00

..

data

ui: different background color for code view snippet list to amplify layering

2017-12-04 11:55:11 +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