ophir fe6ab2bdaa Use mouse wheel to zoom by default ... The old behavior was wheel to scroll and ctrl+wheel to zoom. The new behavior is the opposite.		2021-01-10 19:45:43 +01:00
..
icon.svg	Improve compatibility with Internet Explorer (#63)	2020-05-05 12:01:46 +02:00
zoom.js	Use mouse wheel to zoom by default	2021-01-10 19:45:43 +01:00