Как закрыть горячую клавишу окна поиска терминала GNOME?

Я использую Ctrl + f, чтобы открыть окно поиска. Теперь, когда я закончил поиск, я хотел бы закрыть это окно. Я бы ожидал, что Ctrl + w сделает это, но ничего не происходит, когда вы нажимаете эту комбинацию клавиш. Я посмотрел на настройки ярлыков, но я не вижу там близкого варианта, кроме закрытия вкладки (что работает).

Я не могу себе представить, что на закрытии окна поиска нет ярлыка , Кто-нибудь знает об этом?

Системная информация: Ubuntu 17.10 Shell GNOME 3.26.2 Терминал GNOME 3.24.2