tool
190191192193194195196197198199200
public void disable() { if (toolbar != null) { toolbar.setEnabled(false); } if (tc != null) { tc.select(null);//Unselect any selected tool } if (propertiesBar != null) { propertiesBar.setEnabled(false); } if (actionsToolbar != null) {