Я использую Ctrl kbd> + f kbd>, чтобы открыть окно поиска. Теперь, когда я закончу поиск, я бы хотел закрыть это окно. Я ожидаю, что Ctrl kbd> + w kbd> сделает это, однако при нажатии этой комбинации клавиш ничего не происходит. Я посмотрел на настройки ярлыков, но не вижу там опции закрытия, кроме закрытия вкладки (что работает).
Я не могу представить, что на самом деле нет ярлыка для закрытия окна поиска. Кто-нибудь знает об этом?
Информация о системе: Ubuntu 17.10 Оболочка GNOME 3.26.2 Терминал GNOME 3.24.2
и если Esc kbd> не будет работать для вас, вы всегда можете использовать Alt kbd> + F4 kbd>
Нажатие Esc kbd> отлично работало для меня. Это работает для закрытия большинства модальных окон.