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
..
2013-08-31 19:53:37 +02:00
2013-10-11 17:32:55 +02:00
2013-04-06 11:10:30 -04:00