Ubuntu
mc package

  1. Bug #194155
  2. Comment #2

Comment 2 for bug 194155

Revision history for this message
David Cordero (david.cordero) wrote :

I can't confirm this bug.

That is why in Gnome Terminal: "Edit->Shortcut" there are an option for deactive the F10 key, activated by default.