});
return button;
}
private Container createControlPane() {
Toolbar box = Toolbar.createHorizontalToolbar();
box.addElement(new JLabel("Zoom"));
box.addElement(createFactorSlider());
//box.addElement(new JLabel("Line space"));
//box.addElement(createLineSpaceSlider());
//box.addElement(new JLabel("Epsilon width"));
//box.addElement(createEpsilonWidthSlider());
//box.add(createDrawNodeButton());
//box.add(createDrawDimensionButton());
box.addElement(new JLabel("Show:"));
box.addElement(createShowNFAButton());
box.addElement(createShowRuleNameButton());
//box.add(createUseCacheButton());
//box.setPreferredSize(new Dimension(160, 0));
return box;
}