@Override public void undo() { if (isConnected() && undoable()) { try { fHistory.undo(fUndoContext, null, null); } catch (ExecutionException ex) { openErrorDialog(JFaceTextMessages.getString("DefaultUndoManager.error.undoFailed.title"), ex); //$NON-NLS-1$ } } }
@Override public void undo() { if (isConnected() && undoable()) { try { fHistory.undo(fUndoContext, null, null); } catch (ExecutionException ex) { openErrorDialog(JFaceTextMessages.getString("DefaultUndoManager.error.undoFailed.title"), ex); //$NON-NLS-1$ } } }
@Override public void redo() { if (isConnected() && redoable()) { try { fHistory.redo(fUndoContext, null, null); } catch (ExecutionException ex) { openErrorDialog(JFaceTextMessages.getString("DefaultUndoManager.error.redoFailed.title"), ex); //$NON-NLS-1$ } } }
@Override public void redo() { if (isConnected() && redoable()) { try { fHistory.redo(fUndoContext, null, null); } catch (ExecutionException ex) { openErrorDialog(JFaceTextMessages.getString("DefaultUndoManager.error.redoFailed.title"), ex); //$NON-NLS-1$ } } }