On Mon, July 7, 2008 10:09, James B. Byrne wrote:
> I have gone to system/preferences/keyboard shortcuts/ and it indicates
> that "Launch Help Browser" is mapped to F1. There does not seem to be any
> other entry therein relating to help. How do I set this to a benign value
> or return gnome terminal to its default settings?