> and making the source line not to be shifted> right by line number width would be greatThat was intentional, so that if you have a 80 char terminal and thesource code is 80 characters no unnecessary space is wasted.-Andi