SYNOPSIS
Void setID( ElementTree element, String idname )ARGUMENTS
element The HTML element
classname The ID to set
DESCRIPTION
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
AUTHORS
Kaya standard library by Edwin Brady, Chris Morris and others ([email protected]). For further information see http://kayalang.org/LICENSE
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.RELATED
HTMLDocument.setAttribute(3kaya)
HTMLDocument.setClass(3kaya)
HTMLDocument.setTitle(3kaya)