Set printWidth to 100

This commit is contained in:
Alex Dima 2020-09-19 01:42:59 +02:00
parent 8cc4272694
commit 966506278e
No known key found for this signature in database
GPG key ID: 6E58D7B045760DA0
10 changed files with 885 additions and 1046 deletions

View file

@ -21,14 +21,9 @@ export class WorkerManager {
constructor(defaults: LanguageServiceDefaults) {
this._defaults = defaults;
this._worker = null;
this._idleCheckInterval = window.setInterval(
() => this._checkIfIdle(),
30 * 1000
);
this._idleCheckInterval = window.setInterval(() => this._checkIfIdle(), 30 * 1000);
this._lastUsedTime = 0;
this._configChangeListener = this._defaults.onDidChange(() =>
this._stopWorker()
);
this._configChangeListener = this._defaults.onDidChange(() => this._stopWorker());
}
private _stopWorker(): void {