Peter Gummer schreef:
> 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 :-)
>
Thank you for the fast implementation
Bert
> - Peter
>
>
> _______________________________________________
> openEHR-technical mailing list
> openEHR-technical at openehr.org
> http://lists.chime.ucl.ac.uk/mailman/listinfo/openehr-technical
>
>
>
