Gui adv. search: when toggling from prox to phrase, slack stayed at 10
Authored by: Jean-Francois Dockes 2013-11-09
Parent(s): [bd100b]
Child(ren): [3e6cbe][ef82b4]