// using the client after it shinies, and some clients using the editor might
// have a different uncaught exception behaviour.
EditorStaticDeps.logger.error().log("Repairing: " + e);
// TODO(danilatos): This is a bit coarse, do more accurate/user friendly handling
ContentElement el = Element.is(rawEvent.getEventTarget())
? nodeManager.findElementWrapper(Element.as(rawEvent.getEventTarget())) : null;
if (el == null) {
repairListener.onFullDocumentRevert(mutable());
// Destroy all rendering
ContentDocument savedDoc = removeContent();
savedDoc.setShelved();
// Re-insert document to re-render from scratch
setContent(savedDoc);
repairer.flashShowRepair(full().getDocumentElement());
} else {
repairer.revert(
Point.inElement(el, el.getFirstChild()),
Point.inElement(el, (ContentNode)null));
}
rawEvent.preventDefault();
} finally {