User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.6) Gecko/20060728 Firefox/1.5.0.6 (Debian-1.5.dfsg+1.5.0.6-3) Build Identifier: Terminal has several default keybindings. For example: Alt+n changes to the n'th tab F10 opens the menu When I use irssi, Alt+n should change the current irssi-window (channels etc), but it can't, because Terminal already uses this combination. When I use mc, F10 should quit mc, but... you know ;-) I think it would be better to use different keybindings, e.g. Ctrl+Alt+n for tab-change, because then the apps inside of the Terminal would be more useable without changing the Terminal configuration by hand. Reproducible: Always Steps to Reproduce: 1. start Terminal 2. start mc 3. try to quit mc with F10 ;-)
You can disable F10 as menu accelerator. You can also assign different shortcuts to the switch-to-tab-n actions (or even disable them).
I know I can ;-) I've written: 'without changing the Terminal configuration by hand' But I would prefer a better out-of-the-box setting for that.
Well, the default settings should IMHO match the settings of other GTK+ apps (-> F10 for menu) and those of other popular terminal emulators (-> Alt+n for tabs) so users feel right at home without having to learn new shortcuts.