I use Ctrl+f to open the Search window. Now whenever I am done searching I would like to close this window. I'd expect Ctrl+w to do this, however nothing happens when doing pressing that keyboard combo. I looked at the shortcuts preferences, but I do not see a close option there, other than closing a tab (which does work).
I can't imagine there really is no shortcut for closing a search window. Does anyone know about it?
System info: Ubuntu 17.10 GNOME Shell 3.26.2 GNOME Terminal 3.24.2