On Refresh the WebDAV editor changes partially its background Colour
I enlarge the WebDAV editor so that there is plenty of whitespace at the bottom. I click on Refresh. Then is shown “Searching for user home…“, which eventually disappears. When it disappers the area behind it does not have the same colour, as before the Refresh. When the window is resized, the background is again homogeneous everywhere.