cb26a636e8
If the input is empty, there’s no point in adding it to the history – it’ll just be mildly annoying when the user has to skip past it next time they consult the history. Fixes https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3183. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1442>