Method isPlugInTool

ij/src/main/java/ij/gui/Toolbar.java:1470–1472

(int tool)

	}
	
	boolean isPlugInTool(int tool) {
		return tool>=CUSTOM1 && tool<getNumTools() && tools[tool]!=null;
	}

	public void mouseExited(MouseEvent e) {}
	public void mouseClicked(MouseEvent e) {}