this.getContentPane().add(editor);
//layout = new OrthogonalLineLayout(visual);
// layout = new ForceDirectedLayout(visual);
// layout.setIncrement(0.001);
layout = new LayeredTreeLayout(visual);
editor.setGraphLayoutManager(layout);
this.addWindowListener(new WindowAdapter() {
public void windowClosing(WindowEvent e) { System.exit(0); }
});