public void menuSelected(MenuEvent e) {
				ModelerUtilities.setWithoutNotifyingListeners(miEnergizer, view.getShowEnergizer());
				minimizationMenu.setEnabled(!view.getModel().isRunning());
				miMinimizeSelected.setEnabled(view.getSelectionSet().cardinality() > 0);
				miMinimizeUnselected.setEnabled(view.getSelectionSet().cardinality() < view.getModel().getAtomCount());
			}