Sets the id of a html element
Void setID( ElementTree element, String idname )
element The HTML element
classname The ID to set
Sets the ID of a HTML element. The ID is a unique identifier within the document for the element. Setting IDs is useful for styling, scripting, and creating anchors within a document.
h = addHeading(body,2,"Compiler options"); setID(h,"opts"); // appending #opts to the URL will now jump straight to this heading
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.setAttribute (3kaya)
HTMLDocument.setClass (3kaya)
HTMLDocument.setTitle (3kaya)