public void tableTransitionSelected(Transition transition) {
		drawer.clearSelectedTransitions();
		if (transition == null || collapseState == null) {
			return;
		}
		State from = transition.getFromState();
		State to = transition.getToState();
		Transition a = automaton.getTransitionsFromStateToState(from,
				collapseState)[0];
		Transition b = automaton.getTransitionsFromStateToState(from, to)[0];
		Transition c = automaton.getTransitionsFromStateToState(collapseState,
				collapseState)[0];
		Transition d = automaton.getTransitionsFromStateToState(collapseState,
				to)[0];
		drawer.addSelected(a);
		drawer.addSelected(b);
		drawer.addSelected(c);
		drawer.addSelected(d);
		frame.repaint();
	}