-
Matthias Clasen authored
It is a bit misleading to have one of the places in the sidebar selected while in search mode, since the search is not relative to any location. So, unset the sidebar selection when we enter search mode.
99b17488
It is a bit misleading to have one of the places in the sidebar selected while in search mode, since the search is not relative to any location. So, unset the sidebar selection when we enter search mode.