I made a fix for this and created this pull request:

https://github.com/EiffelSoftware/EiffelStudio/pull/64