Как найти то, что использует ярлык?

Я обычно обязываю свой терминал переключать видимость на ключе F9. Я только что установил Ubuntu 17.10, учитывая, она подлежит полному выпуску в следующем месяце, я полагаю, что это, вероятно, достаточно стабильно (и если не я могу всегда перезагружать!).

Так или иначе Что-то, кажется, связывается с F9 по умолчанию, и я не могу разработать то, что это (ничто перечисленное под глобальными ярлыками).

Нажатие клавиши ничего не делает. При привязке терминального переключателя с F12, поскольку хорошо работает пример.

Так, Как я могу сказать то, что прерывает ключ F9?