Bug? (Very) minor IDE UI glitch!

Top