Prevent highlighted lines to be counted in number of steps

[aroberge]

Highlighting of lines in the editor is done by adding extra highlighting instructions in the user code; these are included in the number of steps. They should not be.