Small bug in Dorico 5

I mentioned a small bug in D5.
After working on a big screen (fullscreen mode) Dorico looks like this on a 13’’ laptop screen:

The only solution I have found was switching off and on Dorico.

Just stopping full screen mode, the problem still remains in some parts (look at the bottom properties zone above »Allgemein«):

I seem to remember this is something to do with the underlying framework and how it interacts with external monitors.

You shouldn’t have to quit Dorico entirely though, if your external monitor is still connected you can just drag it over to the other screen and it’ll reset that way.