Doing more on the extension side and splitting up the lang server linting more

This commit is contained in:
Noah Santschi-Cooney 2018-07-13 18:16:50 +01:00
parent d7d41985ef
commit cacfbe7a4e
6 changed files with 120 additions and 40 deletions

View file

@ -34,7 +34,7 @@ documents.onDidSave((event) => onEvent(event.document))
function onEvent(document: TextDocument) {
if (!ext.has(extname(document.uri))) return
preprocess(document.getText().split('\n'), formatURI(document.uri), true, [document.uri.replace(/^file:\/\//, '')], 0)
preprocess(document.getText().split('\n'), formatURI(document.uri))
}
connection.onDidChangeConfiguration((change) => {