Workarea does not follow search in master

[Jean-Marc Lasgouttes]

Le 16/05/2024 à 06:25, Jürgen Spitzmüller a écrit :
> The screen moves a bit, but not to the point where the highlighted
> match is.

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 :)

JMarc