Bert Verhees wrote: >> In my opinion, the line numbers should not be embedded in the text as >> they >> are now, but they should sit separately in a margin. ... >> > You are right, but maybe that is too much trouble, the Eiffel environment > does, maybe, not have advanced GUI-components which have > this feature.
EiffelVision can definitely do this. EiffelStudio is proof of that. I would study the EiffelStudio source code (which is open source) to see how they do it. > But, for the purpose, for now, a quick fix could be: reloading the file > and display it without line-numbers. Ok, I'll create to change requests for ADL Workbench: 1. To provide an option to display the ADL without line numbers. I agree, this would be easy, probably less than an hour of programming. 2. To put the line numbers into a separate margin rather than embedding them in the text. - Peter
