&& triggeringOperation.hasContext(original)) { if (triggeringOperation instanceof IContextReplacingOperation) { ((IContextReplacingOperation) triggeringOperation).replaceContext(original, replacement); } else { triggeringOperation.removeContext(original); if (child.hasContext(original)) { if (child instanceof IContextReplacingOperation) { ((IContextReplacingOperation) child).replaceContext( original, replacement); } else {
&& triggeringOperation.hasContext(original)) { if (triggeringOperation instanceof IContextReplacingOperation) { ((IContextReplacingOperation) triggeringOperation).replaceContext(original, replacement); } else { triggeringOperation.removeContext(original); if (child.hasContext(original)) { if (child instanceof IContextReplacingOperation) { ((IContextReplacingOperation) child).replaceContext( original, replacement); } else {
&& triggeringOperation.hasContext(original)) { if (triggeringOperation instanceof IContextReplacingOperation) { ((IContextReplacingOperation) triggeringOperation).replaceContext(original, replacement); } else { triggeringOperation.removeContext(original); if (child.hasContext(original)) { if (child instanceof IContextReplacingOperation) { ((IContextReplacingOperation) child).replaceContext( original, replacement); } else {
((IContextReplacingOperation)op).replaceContext(oldUndoContext, getUndoContext()); } else { op.addContext(getUndoContext());
((IContextReplacingOperation)op).replaceContext(oldUndoContext, getUndoContext()); } else { op.addContext(getUndoContext());