On Thu, Mar 22, 2001 at 01:43:34PM +0000, Oliver Elphick wrote: > What should I put for <f9>? [f9] Now, to tell you where I've read that...