[ref_impl_eiffel] [1397] When displaying line numbers on the ADL tab, append a tab character after each line number rather than padding out with spaces .

Revision: 1397
Author: peter.gummer
Log Message: