Changes the document title
Void setDocumentTitle( HTMLDocument doc, String newtitle )
doc The HTML document
newtitle The document title, which may not be blank (an Exception is thrown if it is)
Changes the document title, which is commonly used by browsers when bookmarking the page and in their user interface, and by search engines for indexing purposes. Ideally, all pages should have a unique title.
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/
The Kaya standard library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License (version 2.1 or any later version) as published by the Free Software Foundation.
HTMLDocument.addDocumentMetaData (3kaya)