Void setTitle(ElementTree element, String title)
Arguments
element: The HTML elementtitle: The title to set
Usage
Sets the title of a HTML element. The title can be used to provide optional additional information about an element. Not all browsers will display title information, and the method of display will vary - common graphical browsers tend to display it as a tooltip when someone hovers over the element.
A common use is providing optional additional information about a link.
url = Hyperlink("http://kayalang.org/library/latest/Prelude/putStr");
link = appendInlineElement(paragraph,url,"putStr");
setTitle(link,"API documentation for Prelude::putStr");