public ConvertPane(AutomatonEnvironment environment, Automaton automaton) {
		super(new BorderLayout());
		drawer = new SelectionDrawer(automaton);
		automatonPane = new AutomatonPane(drawer);
		JSplitPane split = SplitPaneFactory.createSplit(environment, true, 0.6,
				automatonPane, new JScrollPane(table));
		automatonPane.addMouseListener(new ArrowDisplayOnlyTool(automatonPane,
				automatonPane.getDrawer()));
		add(split, BorderLayout.CENTER);
		add(new TableTextSizeSlider(table), BorderLayout.SOUTH);
	}