On Wed, Feb 23, 2005 at 09:03:33AM -0500, Kevin B. McCarty wrote: > >From the gnome-terminal menu, select Edit->Keyboard Shortcuts. In this > dialog, you can check the two checkboxes at the top to disable > gnome-terminal's interception of various function keys. It's exactly what I needed. Many thanks to all. -- Gérard