/** * Invoked when an action occurs. */ public void actionPerformed(ActionEvent e) { getOWLModelManager().getHistoryManager().undo(); }
/** * Invoked when an action occurs. */ public void actionPerformed(ActionEvent e) { getOWLModelManager().getHistoryManager().undo(); }
/** * Invoked when an action occurs. */ public void actionPerformed(ActionEvent e) { getOWLModelManager().getHistoryManager().undo(); }
/** * Invoked when an action occurs. */ public void actionPerformed(ActionEvent e) { getOWLModelManager().getHistoryManager().undo(); }