]>
2019-12-25 | Zachary Yedidia | Remove local settings | blob | commitdiff | raw |
2019-12-25 | Zachary Yedidia | Full extensible linter support | blob | commitdiff | raw | diff to current |
2019-12-25 | Zachary Yedidia | Add linter plugin support | blob | commitdiff | raw | diff to current |
2019-12-25 | Zachary Yedidia | Jobs and gutter messages for plugins | blob | commitdiff | raw | diff to current |
2019-12-25 | Zachary Yedidia | Autoclose plugin support | blob | commitdiff | raw | diff to current |
2019-12-25 | Zachary Yedidia | Allow any plugin to be enabled or disabled via settings | blob | commitdiff | raw | diff to current |
2019-12-25 | Zachary Yedidia | Some plugin callbacks | blob | commitdiff | raw | diff to current |
2019-12-25 | Zachary Yedidia | Load plugins | blob | commitdiff | raw | diff to current |