Monday, November 08, 2010 at 12:03 AM.

on addToChangedPages (adrpage) { <<4.2
	<<Add a changed web page to the outline at user.html.changedPages.
			<<10/12/99; 2:45:15 PM by PBS
				<<New preference, user.html.prefs.addToChangedPages, specifies whether or not this feature is on or off. It's off by default.
	if user.html.prefs.addToChangedPages {
		html.addToChangedPages (adrpage)};
	return (true)}

This listing is for code that runs in the OPML Editor environment. I created these listings because I wanted the search engines to index it, so that when I want to look up something in my codebase I don't have to use the much slower search functionality in my object database. Dave Winer.