Терминал Gnome захватывает F10 вместо передачи его в оболочку. Я хочу отключить его. Поиск проблемы возвратил ответы, которые можно отключить в «Предпочтения / Ярлыки». Тем не менее, он, похоже, не для меня.
У меня Ubuntu 16.04 и Gnome Terminal 3.18.3.