private EditorPane createEditor(final Component panel) {
		final SelectionDrawer drawer = new SelectionDrawer(dfa);
		EditorPane editor = new EditorPane(drawer, new ToolBox() {
			public java.util.List tools(AutomatonPane view,
					AutomatonDrawer drawer) {
				java.util.List tools = new java.util.LinkedList();
				tools.add(new ArrowNontransitionTool(view, drawer) {
					public boolean shouldAllowOnlyFinalStateChange() {
						return true;
					}

					public boolean shouldShowStatePopup() {
						return true;
					}
				});
				tools.add(new GotoTransitionTool(view, drawer, controller));
				return tools;
			}
		});
		// addExtras(editor.getToolBar());
		return editor;
	}