[ref_impl_eiffel] [1661] Improve UI for turning on and off line-numbers in serialised and source formats .

Revision: 1661
Author: thomas.beale
Log Message: