void apply() throws IOException { // unregister removed tools ToolManager toolManager = ToolManager.getInstance(); toolManager.setTools(getGroupList()); myIsModified = false; }
private static List<Object> getComboBoxElements() { List<Object> result = new ArrayList<Object>(); ToolManager manager = ToolManager.getInstance(); result.add(new Object()); // for empty selection for (ToolsGroup group : manager.getGroups()) { result.add(group); Collections.addAll(result, manager.getTools(group.getName())); } return result; }
void reset() { ToolsGroup[] groups = ToolManager.getInstance().getGroups(); for (ToolsGroup group : groups) { insertNewGroup((ToolsGroup) group.copy()); } if ((getTreeRoot()).getChildCount() > 0) { myTree.setSelectionInterval(0, 0); } else { myTree.getSelectionModel().clearSelection(); } (getModel()).nodeStructureChanged(null); TreeUtil.expand(myTree, 5); myIsModified = false; update(); }
public final void registerManager(@Nonnull final ToolManager toolManager) { manager = toolManager; history = toolManager.getHistory(); }