Lines Matching defs:Tool

172 // Tool Box
1799 // ==================== Tool class definition ================================= //
1801 // A mapping of tool names and tool objects. Automatically updated in the Tool class's constructor.
1813 function Tool(name, points, params){
1825 Tool.prototype.setColor = function(color){
1833 Tool.prototype.setWidth = function(width){
1839 Tool.prototype.draw = nop;
1842 Tool.prototype.appendPoint = function(x, y) {
1874 Tool.prototype.mouseDown = function(e){
1878 Tool.prototype.mouseMove = function(e){
1890 Tool.prototype.mouseUp = function(e){
1900 Tool.prototype.keyDown = function(e){
1915 Tool.prototype.selectDraw = function(shape){
1937 // ==================== Tool class definition end ============================= //
1942 	new Tool("select", 1, {drawTool: function(x, y){
1960 			Tool.prototype.mouseUp.call(this, e);
1963 	new Tool("pathedit", 1, {
1986 			Tool.prototype.mouseUp.call(this, e);
2009 	new Tool("line", 2, {
2026 	new Tool("arrow", 2, {
2039 	new Tool("barrow", 2, {
2052 	new Tool("darrow", 2, {
2072 	new Tool("arc", 3, {
2090 	new Tool("arcarrow", 3, {
2108 	new Tool("arcbarrow", 3, {
2135 	new Tool("rect", 2, {
2150 	new Tool("ellipse", 2, {
2166 	new Tool("rectfill", 2, {
2181 	new Tool("ellipsefill", 2, {drawTool: function(x, y){
2199 	new Tool("star", 1, {objctor: PointShape,
2219 	new Tool("check", 1, {objctor: PointShape,
2235 	new Tool("text", 1, {objctor: TextShape,
2395 		new Tool("delete", 1, {
2406 		new Tool("done", 1, {objctor: PointShape,
2422 		new Tool("path", 2, {
2588 		new Tool("path", 2, {
2605 		new Tool("path", 2, {