Open aroberge opened 5 months ago
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.
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.