Re: gnome-terminal
On Wed, 2005-02-23 at 10:12 +0100, Gerard Robin wrote:
> Hello,
>
> When I use "gnome-terminal", Version: 2.8.2-1, if I run "mc" in this
> terminal I can't use the key F10 for "mc" because F10 is set to gnome-terminal
> also.
> How can I disable F10 for gnome-terminal or change F10 with F11 or F12 ?
>
> TIA
>
> --
> Gérard
>
>
One (and maybe the only way) is to disable the menu bar. You can do this
by editing your gnome-terminal profile, tab 'General'.
Regards, Bruno.
Reply to: