public void undo() throws CannotUndoException { GuardedDocument gdoc = (GuardedDocument)getDocument(); boolean origBreak = gdoc.breakGuarded; gdoc.breakGuarded = true; super.undo(); if (!origBreak) { gdoc.breakGuarded = false; } }
public void undo() throws CannotUndoException { GuardedDocument gdoc = (GuardedDocument) getDocument(); boolean origBreak = gdoc.breakGuarded; gdoc.breakGuarded = true; super.undo(); if (!origBreak) { gdoc.breakGuarded = false; } }
previous.undo();