Bert Verhees wrote: > But, for the purpose, for now, a quick fix could be: reloading the file > and display it without line-numbers.
Bert, I've implemented this: ref_impl_eiffel revision 406. You can turn the line numbers on and off via the Options dialog. Thanks for the suggestion :-) - Peter
