Jürg Lehni afe61d61ac Fix recently introduced errors in setting of Tool#_document.		2011-05-07 15:37:12 +01:00
..
Tool.js	Fix recently introduced errors in setting of Tool#_document.	2011-05-07 15:37:12 +01:00
ToolEvent.js	Add Base.formatNumber() to format numbers in the same way as Scriptographer (precision of up to 5 fractional digits) and use it in the various #toString() functions.	2011-05-04 19:42:50 +01:00
ToolHandler.js	Simplify ToolEvent#modifiers.	2011-04-25 12:05:18 +02:00