Text editor: show line numbers and highlight the current line.