The "auto-hyperlink-delay" setting:

When the auto-hyperlink setting is 1, the javascript that runs to set the href= attributes of hyperlinks delays by this many milliseconds after the page load. Suggested values: 50 to 200.

REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]