}
protected void disableUndoManagementIfNecessary() {
IDOMModel model = getXMLModel();
if (model != null && model.getUndoManager() != null)
model.disableUndoManagement();
}
protected void enableUndoManagement() {
IDOMModel model = getXMLModel();
if (model != null && model.getUndoManager() != null)