private void updateDocumentEditState(boolean editing) {
Element topLevel = getDocumentHtmlElement();
// Set property to some arbitrary non-null value if we're in editing mode.
full().getDocumentElement().setProperty(AnnotationPainter.DOCUMENT_MODE, editing);
topLevel.removeClassName(WAVE_EDITOR_EDIT_ON);
topLevel.removeClassName(WAVE_EDITOR_EDIT_OFF);
topLevel.addClassName(editing ? WAVE_EDITOR_EDIT_ON : WAVE_EDITOR_EDIT_OFF);
AnnotationPainter.maybeScheduleRepaint(content.getContext(), 0, mutable().size());
DomHelper.setContentEditable(topLevel, editing, true);