Robert Best 44a183ed7b I changed how zoom by mouse-wheel works so that it zooms based on where your mouse pointer is		2016-09-29 21:32:55 +00:00
..
JIT.js	I changed how zoom by mouse-wheel works so that it zooms based on where your mouse pointer is	2016-09-29 21:32:55 +00:00