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

..

data

ui: Scroll table to newest error and fixed error number column width

2016-10-25 17:47:38 +02:00

user

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

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