public void focus() {
		Configuration[] configs = configurations.getSelected();
		if (configs.length == 0) {
			JOptionPane.showMessageDialog(configurations,
					NO_CONFIGURATION_ERROR, NO_CONFIGURATION_ERROR_TITLE,
					JOptionPane.ERROR_MESSAGE);
			return;
		} else if (configs.length > 1) {
			JOptionPane.showMessageDialog(configurations,
					FOCUS_CONFIGURATION_ERROR, FOCUS_CONFIGURATION_ERROR_TITLE,
					JOptionPane.ERROR_MESSAGE);
			return;
		}

		Configuration toFocus = configs[0];
		configurations.setFocused(toFocus);
		toFocus.setFocused(true); 

//		State block = toFocus.getCurrentState().getParentBlock();
//		State parent = block;
//		Automaton checkTop = null;
//		Stack heirarchy = new Stack();
//		if (parent != null) {
//			checkTop = findAutomaton(checkTop, heirarchy, parent, false);
//			//System.out.println("Call from focus");
//			if (checkTop != null)
//				drawer.setAutomaton(checkTop);
//		}
		// drawer.invalidate();
		component.repaint();
	}