internal text editor: display up to 6 digits for line numbers

	      	      With more than 999999 lines, it would probably
		      be so slow that it won't be usable anyway.