()
| 1879 | } |
| 1880 | |
| 1881 | private void resetTools() { |
| 1882 | for (int i=CUSTOM1; i<getNumTools()-1; i++) { |
| 1883 | names[i] = null; |
| 1884 | tools[i] = null; |
| 1885 | icons[i] = null; |
| 1886 | if (menus[i]!=null) |
| 1887 | menus[i].removeAll(); |
| 1888 | } |
| 1889 | } |
| 1890 | |
| 1891 | /** Used by the MacroInstaller class to add a macro tool to the toolbar. */ |
| 1892 | public void addMacroTool(String name, MacroInstaller macroInstaller) { |
no test coverage detected