setDocumentTitle function

void setDocumentTitle(String value)

Implementation

void setDocumentTitle(String value) {
  web.document.title = value;
}