Jürg Lehni b8a1fbcd67 Implement new convention when to call event.preventDefault() after mouse-events: ... - If any of the handlers were called, except for mousemove events which need to call `event.preventDefault()` explicitly, or `return false;`. - If this is a mousedown event, and the view or tools respond to mouseup.		2016-01-14 11:19:54 +01:00
..
Tool.js	Implement new convention when to call event.preventDefault() after mouse-events:	2016-01-14 11:19:54 +01:00
ToolEvent.js	A lot of work on documentation.	2016-01-08 20:45:54 +01:00