Bert Verhees wrote: >A small issue (but maybe hard to repair), when copy and pasting the > source, it also copies the line-umbers, good would be an option for > removing the line-numbers.
I had that wish too, Bert, a few weeks ago. 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. I'm thinking of how it is done in development environments such as EiffelStudio, Visual Studio, Delphi, etc. What do you think? - Peter