()
| 1942 | } |
| 1943 | |
| 1944 | public static void removeMacroTools() { |
| 1945 | if (instance!=null) { |
| 1946 | if (instance.getToolId()>=CUSTOM1) |
| 1947 | instance.setTool(RECTANGLE); |
| 1948 | instance.resetTools(); |
| 1949 | instance.repaint(); |
| 1950 | } |
| 1951 | } |
| 1952 | |
| 1953 | /** Adds a plugin tool to the first available toolbar slot, |
| 1954 | or to the last slot if the toolbar is full. */ |
no test coverage detected