I've never seen such a behavior of EiffelStudio. If you can see how to reproduce the problem it would be great.