Reset the documentation quickopen search when providers change

Authored by apol on Jun 17 2016, 8:40 AM.

Description

Reset the documentation quickopen search when providers change

Otherwise we're keeping pointers to providers that may disappear.

Details

Committed
apolJun 17 2016, 8:40 AM
Parents
R33:a65630c559a6: make tab switcher hint text small
Branches
Unknown
Tags
Unknown