/** * Sets the document type node. */ public void setDoctype(DocumentType dt) { if (dt != null) { appendChild(dt); ((ExtendedNode)dt).setReadonly(true); } }
/** * Sets the document type node. */ public void setDoctype(DocumentType dt) { if (dt != null) { appendChild(dt); ((ExtendedNode)dt).setReadonly(true); } }
/** * Sets the document type node. */ public void setDoctype(DocumentType dt) { if (dt != null) { appendChild(dt); ((ExtendedNode)dt).setReadonly(true); } }