Make the line numbers in the editor toggleable.