void () { if (myIndents.containsKey(this)) { myCurrentIndent = myIndents.get(this); } if (myNewLines.containsKey(this)) { myNewLine = myNewLines.get(this); } unregisterMarker(this); super.rollbackTo(); }