editorGUI: fix graphical glitch.