ADL-workbench: feature request

[Bert Verhees]

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.

thanks
Bert