Am 03.07.2016 um 11:18 schrieb Sven Schreiber:
>
I've definitely seen it again now. It seemed to have something to do
with changing the search term in the search window and then going on
with the search,
or perhaps switching to a different editor tab while the search dialog
window remains open, maybe together with also changing the search text
in the dialog...
-s