public void defocus() {
		Configuration[] configs = configurations.getConfigurations();
		for (int i = 0; i < configs.length; i++) {
			if (configs[i].getFocused()) {
				configurations.defocus(configs[i]);
			}
		}
		drawer.setAutomaton(simulator.getAutomaton());
		drawer.invalidate();
		component.repaint();
	}