-
John Sullivan authored
location; this is used initially (and most importantly) by web pages so that bookmarks, the window title, and the index panel will display the html page title rather than the url.
a2d26f63
location; this is used initially (and most importantly) by web pages so that bookmarks, the window title, and the index panel will display the html page title rather than the url.