/** Sets up the editor, does the layout, and so on. */
protected void setup(String resultLabel) {
setLayout(new BorderLayout());
add(getToolbar(), BorderLayout.WEST);
modelStatsText = new JTextArea();
tabbedPane = new JTabbedPane();
tabbedPane.add("Pattern", gesDisplay());
add(tabbedPane, BorderLayout.CENTER);
add(menuBar(), BorderLayout.NORTH);
}
