F7: is it an OS? is it a function key? it is both!

[Tim]

On Fri, 2007-06-01 at 15:57 +0200, A.J. Bonnema wrote:
> I just can't wait for the first bug report that reads something like:
> 
> "Please can someone help me?
> "When in F9 pressing F7, I really get F8 like F7.
> 
> :-)) 

I can imagine that unless people call it Fe7 rather than F7, or
something else other than F7, it's going to make for difficult Google
searching.

-- 
(This box runs FC6, my others run FC4 & FC5, in case that's
 important to the thread.)

Don't send private replies to my address, the mailbox is ignored.
I read messages from the public lists.