We fixed the EiffelBuild editor issues from this report.
The corrections will be included in next release 19.11 (in November), and in upcoming beta release 19.08 .