yeah i wondered that too, but like i said:

hth, also btw i tried pressing F8 in other random applications (browsers, other editors, etc.) just to see if i somehow had a global F8 shortcut key defined, but nothing happens when i press F8 elsewhere...

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.