13.7.13 Editor status bar shows line numbers

The Editor tool's status bar now shows the range of line numbers currently displayed, along with the total number of lines in the displayed editor buffer. This is configurable, as described in Position indicator shows line numbers.