Eberhard Graether 76fb7c4e6c ui: Added setting for graph zoom on mouse wheel by default to preferences ...

On popular demand.

bug id = 237

2016-10-25 22:52:36 +02:00

..

app

ui: Added setting for graph zoom on mouse wheel by default to preferences

2016-10-25 22:52:36 +02:00

test/data

logic: More fixes for release

2016-10-14 00:45:37 +02:00