This is now fixed for the 6.5 release of EiffelStudio (see rev#79776).