@Override
/** {@inheritDoc} */
protected void contentChanged(DiagramPane pane) {
if (pane == null) {
updateMenus(false);
saveItem.setEnabled(false);
container.updateToolBar(null);
} else {
saveItem.setEnabled(!pane.isSaved());
numberingItem.setState(pane.getOptions().isNumberingEnabled());
updateMenus(true);
OrderingLevel level = pane.getOptions().getOrderingLevel();
orderingOffItem.setState(level == OrderingLevel.OFF);
orderingOverlapItem.setState(level == OrderingLevel.SUPPRESS_OVERLAP);
container.updateToolBar(pane);
}
}
public void actionPerformed(ActionEvent e) {
DiagramPane pane = getCurrentDiagram();
pane.getOptions().invertNumbering();
}