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

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

..

data

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

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