return button;
}
private JToggleButton createShowCrossLinksButton() {
XJRollOverButtonToggle button = XJRollOverButtonToggle.createMediumButton(IconManager.shared().getIconShowLinks());
button.setSelected(true);
button.setFocusable(false);
button.setToolTipText("Show links between rules");
button.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent event) {
for (Object o : view.getGraphs()) {
GGraphGroup gg = (GGraphGroup) o;
gg.getPathGroup().toggleShowRuleLinks();
}