This bug is fixed in revision#70290 for Eiffel Studio 6.1. But not committed in Eiffel Studio 6.0 branch.

Thanks for your report.