Fix editor UI glitch. Fixes #74