1415161718192021
super(jawecomponent); } public void enableDisableAction() { JaWEController jc = JaWEManager.getInstance().getJaWEController(); UndoHistoryManager um = jc.getUndoHistoryManager(); setEnabled(um.canUndo()); }
super(jawecomponent); } public void enableDisableAction() { JaWEController jc = JaWEManager.getInstance().getJaWEController(); UndoHistoryManager um = jc.getUndoHistoryManager(); setEnabled(um.canRedo()); }