HTMLDocument.setID3kaya
Sets the id of a html element
Usage
Void setID( ElementTree element, String idname )
Arguments
element The HTML element
classname The ID to set
Overview
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
Releases
4 releases since Debian 5.0 (Lenny); the text changed 3 times.