Fixes: - Fix the unhighlight fix.

Details:  - We shouldn't do anything if the find filter doesn't change.
That probably also avoids multiple event filters on the same widget.