Thanks for the detailed reproduction! I've filed a bug report internally and will give you an update as soon as I can. ![]()
Out of curiosity, have you tried out the new app builder yet? It's still early days, but switching to a pure React-based architecture has effectively eliminated so many of these minor bugs.