I had the Metric tool floating on top of the main window. I was working in it, then I left it open like that for hours while I did other things outside EiffelStudio. Then I switched to EiffelStudio in order to close it, and I just happened to notice that the Metrics tool had the same problem.

So I'm not sure of the exact steps, but I'm sure it must be easy to reproduce.