show line numbers in source editors