Change name of `startLine` and `endLine` properties in highlight JSON

SERG-Delft / andy

Andy assesses student's test code. It's used in CSE1110, TU Delft.

MIT License

78 stars 22 forks source link

Change name of `startLine` and `endLine` properties in highlight JSON #155

Closed maxdekrieger closed 1 year ago

maxdekrieger commented 1 year ago

In WebLab we decided to change startLine and endLine to startLineNumber and endLineNumber in the highlight JSON file. This simple PR changes the need to edit it yourself.