This bug is fixed in revision#81958. It will be available in next Eiffel Studio intermediate release.

Thanks for your report.