Workarea does not follow search in master

[Jürgen Spitzmüller]

Am Freitag, dem 17.05.2024 um 18:08 +0200 schrieb Jean-Marc Lasgouttes:
> Should be OK now. Note that the cause was more profound than I 
> anticipated, I hope I got it right. I added some assertions for good 
> measure, so that we will soon see whether my assumptions about the
> code are correct :)

Thanks, works for me as well.

-- 
Jürgen