Fix bug of search history randomly not saved#13061

Closed

ghost wants to merge 1 commit intodevfrom

unknown repository