Florian Müllner f12378cf7b search: Hide overview when activating result
This was (accidentally?) dropped by commit 3749b093666bf4e6f4.

https://bugzilla.gnome.org/show_bug.cgi?id=711205
2013-10-31 16:19:25 +00:00
..