public LintFileInvoker(LinterCreator creator, ITextDocument document)
{
_creator = creator;
_document = document;
_document.FileActionOccurred += DocumentSavedHandler;
_runner = _creator(_document.FilePath);
if (_runner.Settings.LintOnSave)
{
Dispatcher.CurrentDispatcher.InvokeAsync(
() => _runner.RunLinterAsync().DoNotWait("linting " + _document.FilePath),
DispatcherPriority.ApplicationIdle
);
}
}
public LintFileInvoker(LinterCreator creator, ITextDocument document)
{
_creator = creator;
_document = document;
_document.FileActionOccurred += DocumentSavedHandler;
_runner = _creator(_document.FilePath);
if (_runner.Settings.LintOnSave)
{
Dispatcher.CurrentDispatcher.InvokeAsync(
() => _runner.RunLinterAsync().DoNotWait("linting " + _document.FilePath),
DispatcherPriority.ApplicationIdle
);
}
}
