Get rid of extra update of mini info.

(stop_search): don't update mini info if quick search is incative.

Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
This commit is contained in:
Andrew Borodin 2021-09-05 12:28:32 +03:00
parent d19b247c6d
commit cac689a81a

View File

@ -2771,6 +2771,9 @@ start_search (WPanel * panel)
static void static void
stop_search (WPanel * panel) stop_search (WPanel * panel)
{ {
if (!panel->quick_search.active)
return;
panel->quick_search.active = FALSE; panel->quick_search.active = FALSE;
/* if user overrdied search string, we need to store it /* if user overrdied search string, we need to store it