there is already code further down in this class that adds line numbers in such a way that also works with the line highlighting logic.