w0rp
|
fd49f7df90
|
#604 Change match_id to match_id_list, for future highlights spanning more than 8 lines
|
2017-05-31 10:27:35 +01:00 |
|
w0rp
|
fa54f7af97
|
Remove a dependency on eslint, ready for the new Docker image
|
2017-05-12 09:19:36 +01:00 |
|
w0rp
|
711ab99362
|
#333 Remember the IDs for highlights
|
2017-03-12 22:46:33 +00:00 |
|
w0rp
|
382e569f66
|
Revert "Don't save the sign ID on loclist items. This approach won't work."
This reverts commit f25a543260.
|
2017-03-12 22:34:32 +00:00 |
|
w0rp
|
f25a543260
|
Don't save the sign ID on loclist items. This approach won't work.
|
2017-03-12 21:48:40 +00:00 |
|
w0rp
|
4bf6784d7d
|
#333 Save sign IDs back on loclist items, and make it possible to get line numbers again
|
2017-03-11 20:33:29 +00:00 |
|
w0rp
|
c546f47cc0
|
Merge everything into the one global map.
|
2016-10-24 20:21:42 +01:00 |
|
w0rp
|
7a06d276c2
|
#131 Keep the error types in the message for eslint
|
2016-10-20 18:07:55 +01:00 |
|
w0rp
|
bf45ab6d8d
|
Add a function for waiting for linters to complete, and add a test which checks that linting updates the loclist.
|
2016-10-17 23:26:19 +01:00 |
|