I can still reproduce this issue with EiffelStudio 19.05. Is there any chance that this will be fixed someday?