Eberhard Graether ea0c249ad9 ui: Improved contrasts in color schemes ...

* fixed edge routed wrong issue in graph legend
* fixed Alt + Ctrl/Cmd + R refreshes UI

2018-07-27 14:45:25 +02:00

..

data

ui: Improved contrasts in color schemes

2018-07-27 14:45:25 +02:00

user

ui: Graph legend (issue #308, #540)

2018-07-23 16:55:58 +02:00