2 Commits

Include renames

Author	SHA1	Message	Date
Eberhard Graether	ba523111af	ui: Tuned graph zooming	2016-03-14 23:42:45 +01:00
Eberhard Graether	53d5fe6a06	ui: Added more movement controls to the graph ... * SHIFT + mouse wheel for zooming * WASD for moving up, right, left, down * SHIFT + WS for zooming * zoom anchor is under the mouse bug id = 54	2016-03-12 00:55:31 +01:00