Eberhard Graether 506bf8ed6f ui: Scrollbar and dock widget separator style ...

* defined scrollbar style for Windows and Linux
* defined dock widget separator width and color
* some style fixes on linux

2017-11-25 23:06:47 +01:00

..

app

ui: Scrollbar and dock widget separator style

2017-11-25 23:06:47 +01:00

test/data

logic: fixed filepaths to always use a canonical casing (issue #516)

2017-11-12 16:29:12 +01:00