Comment fermer la touche de raccourci de la fenêtre de recherche du terminal GNOME?
J'utilise Ctrl+f pour ouvrir la fenêtre de recherche. Maintenant, chaque fois que j'ai terminé la recherche, je voudrais fermer cette fenêtre. Je m'attendrais Ctrl+w pour ce faire, cependant, rien ne se passe lorsque vous appuyez sur ce combo clavier. J'ai regardé les préférences de raccourcis, mais je ne vois pas d'option de fermeture, autre que la fermeture d'un onglet (qui fonctionne).
Je ne peux pas imaginer qu'il n'y ait vraiment aucun raccourci pour fermer une fenêtre de recherche. Quelqu'un le sait-il?
Informations système: Ubuntu 17.10 GNOME Shell 3.26.2 GNOME Terminal 3.24.2
et si le Esc ne fonctionnera pas pour vous, vous pouvez toujours utiliser Alt+F4
Pressage Esc a très bien fonctionné pour moi. Cela fonctionne pour fermer la plupart des fenêtres modales.