[ref_impl_eiffel] [543] AWB-63: After the user switches line numbers on or off in the Options dialog, if the Source was currently visible then the effect was not immediate: the user had to do something to cause repopulation of the rich text box to see the

Revision: 543
Author: peter.gummer

Log Message: