(int id)
| 1983 | } |
| 1984 | |
| 1985 | void runMacroTool(int id) { |
| 1986 | if (id<getNumTools() && tools[id]!=null) |
| 1987 | tools[id].runMacroTool(names[id]); |
| 1988 | } |
| 1989 | |
| 1990 | void showBrushDialog() { |
| 1991 | GenericDialog gd = new GenericDialog("Selection Brush"); |
no test coverage detected