eight
|
09bd6218e0
|
Fix: linter.onChange -> linter.onLintingUpdated
|
2018-09-02 16:00:43 +08:00 |
|
eight
|
f4dca505fb
|
Fix: callbacks -> listeners
|
2018-09-02 14:52:06 +08:00 |
|
eight
|
8531d20c55
|
Fix: simplify getAnnotations
|
2018-09-02 14:34:37 +08:00 |
|
eight
|
0d9e1368b4
|
Fix: some shadowing
|
2018-09-02 14:32:39 +08:00 |
|
eight
|
38d0a2835c
|
Fix: linter.refresh -> linter.run
|
2018-09-02 14:31:07 +08:00 |
|
eight
|
0482ac5ee0
|
Fix: hook/unhook -> enableForEditor/disableForEditor
|
2018-09-02 14:27:52 +08:00 |
|
eight
|
85bddff7a9
|
Fix: eslint-disable-line -> eslint-disable-next-line
|
2018-09-02 12:21:55 +08:00 |
|
eight
|
5ec82adaf9
|
Add: unhook event
|
2018-09-01 14:47:54 +08:00 |
|
eight
|
cb77774310
|
Fix: refresh linter if the editor.linter changes
|
2018-08-31 22:31:44 +08:00 |
|
eight
|
fd01abe553
|
Add: implement new linter system
|
2018-08-31 19:59:40 +08:00 |
|