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