Eberhard Graether a0d3bd272c ui: Fixed scrolling to active symbol when clicking on active graph view node

2017-02-22 04:58:54 +01:00

..

app

ui: Fixed shortcuts dialog

2017-02-22 03:17:35 +01:00

test/data

ui: Fixed scrolling to active symbol when clicking on active graph view node

2017-02-22 04:58:54 +01:00