| changeset 211 | d87f6bdee43d |
| parent 198 | d3737b90a66b |
| child 270 | aaef418cdf8d |
--- a/client/js/defaults.js Thu Oct 24 19:00:50 2013 +0200 +++ b/client/js/defaults.js Fri Oct 25 01:20:25 2013 +0200 @@ -30,6 +30,8 @@ force_resize: false, allow_double_click: true, /* Allows Double Click to create a node on an empty background */ + zoom_on_scroll: true, + /* Allows to use the scrollwheel to zoom */ element_delete_delay: 0, /* Delay between clicking on the bin on an element and really deleting it Set to 0 for delete confirm */