The editor: Error markers

After a run that failed, the failing line is marked in the editor. Clicking the error in the Messages pane navigates to it. Where the server reported a line number that the batch splitter can only approximate, the message says so rather than pointing confidently at the wrong line.