public void undo() {
if (undoManager.canUndo()) {
undoManager.undo();
}
statusLine = "Undo";
notifyObservers();
}
public void undo() {
try {
if (undo != null && undo.canUndo()) {
undo.undo();
refreshEnabledStatus();
}
} catch (CannotUndoException ignore) {
}
}
void refreshEnabledStatus() {
if (undo != null) {
if (undo.canRedo()) {
redoMenuItem.setEnabled(true);
}
if (undo.canUndo()) {
undoMenuItem.setEnabled(true);
}
}
}
/**
* Refreshes the undo/redo icons with the last action performed.
*
* @param oUndoManager, the manager to use to check for undo/redo possibilities.
*/
public void refreshUndoRedo(UndoManager oUndoManager) {
// refresh undo
pbUndo.setToolTipText(oUndoManager.getUndoPresentationName());
pbUndo.setEnabled(oUndoManager.canUndo());
// refresh redo
pbRedo.setToolTipText(oUndoManager.getRedoPresentationName());
pbRedo.setEnabled(oUndoManager.canRedo());
}
public void actionPerformed(ActionEvent e) {
JMenuItem source = (JMenuItem) (e.getSource());
if (source.getText().equals("元に戻す")) {
if (undo.canUndo()) {
undo.undo();
}
} else if (source.getText().equals("やり直し")) {
if (undo.canRedo()) {
undo.redo();
}
}
}
public String check(JComponent component) {
UndoManager undoManager =
((LayerManagerProxy)
JUMPWorkbench.getInstance().getFrame().getActiveInternalFrame())
.getLayerManager()
.getUndoableEditReceiver()
.getUndoManager();
if (component != null)
component.setToolTipText(undoManager.getUndoPresentationName());
return (!undoManager.canUndo())
? I18N.get(
"com.vividsolutions.jump.workbench.ui.plugin.UndoPlugIn.nothing-to-undo")
: null;
}
@Override()
public void displayConfig(WSDLComponent component, UndoManager undoManager) {
UndoCounter undoCounter = new UndoCounter();
WSDLModel model = component.getModel();
model.addUndoableEditListener(undoCounter);
JPanel profConfigPanel = new Kerberos(component, this);
DialogDescriptor dlgDesc = new DialogDescriptor(profConfigPanel, getDisplayName());
Dialog dlg = DialogDisplayer.getDefault().createDialog(dlgDesc);
dlg.setVisible(true);
if (dlgDesc.getValue() == DialogDescriptor.CANCEL_OPTION) {
for (int i = 0; i < undoCounter.getCounter(); i++) {
if (undoManager.canUndo()) {
undoManager.undo();
}
}
}
model.removeUndoableEditListener(undoCounter);
}
/**
* If this UndoManager is inProgress, undo the last significant UndoableEdit before
* indexOfNextAdd, and all insignificant edits back to it. Updates indexOfNextAdd accordingly.
*
* <p>If not inProgress, indexOfNextAdd is ignored and super's routine is called.
*/
public synchronized void undo() throws CannotUndoException {
// System.out.println("appel a undo");
if (this.isInProgress()) {
UndoableEdit edit = editToBeUndone();
// System.out.println("\tedit to undone : " + edit);
if (edit instanceof UndoManager) {
UndoManager manager = (UndoManager) edit;
// System.out.println("\tindexOfNextAdd : " + indexOfNextAdd);
while (manager.canUndo()) {
manager.undo();
}
// System.out.println("gogo affichage de edits : ");
// for (int i = 0; i < this.edits.size(); i++)
// System.out.println("\t" + this.edits.elementAt(i).getClass());
// System.out.println("\tindexOfNextAdd : " + indexOfNextAdd);
indexOfNextAdd--;
return;
}
if (edit == null) {
throw new CannotUndoException();
}
undoTo(edit);
// System.out.println("gigi affichage de edits : ");
// for (int i = 0; i < this.edits.size(); i++)
// System.out.println("\t" + this.edits.elementAt(i).getClass());
} else {
super.undo();
}
}
private void updateUndoActions() {
setRedoEnabled(undo.canRedo());
setUndoEnabled(undo.canUndo());
}
public void refreshUndoRedo(UndoManager undoManager) {
undoButton.setEnabled(undoManager.canUndo());
rendoButton.setEnabled(undoManager.canRedo());
limpiarButton.setEnabled(undoManager.canUndo());
}
