@szshen @SteveD I’ve fixed problem locally. I think you can also work around the problem by making one of your preference settings non-default. For example if you change your font size to 15 then I think the problem should stop happening.