A little bug that can be boring

If you refer to menu View > Layout > Restore Default Layout, I do not reproduce it. However, this is something very dependent on Qt, the GUI library we use. In that case, quite likely the behavior will be different for you with the new beta 19.02.20 that upgrades Qt to a major new version.