I do (or used to) use that frame, but the bad behavior drove me away. I'd also like to get it fixed.
So, afaict, this.searchField gets based on the preference when the panel is instantiated, which I think would mean that its not getting changed if the user changes the preference (so, that is a...