@dave1707 good find! I can guess at why that’s happening. Do you think you could log it on the issue tracker?
I plan to rewrite the main code editor soon, so it’s good to keep interesting cases like this in mind.
@Simeon Thanks. That seems to have done it. Getting a new warning about icon sizes in the latest version of Xcode. Nothing that seems to get in the way.