unregister comment provider when dispose, otherwise we see duplicates.

This commit is contained in:
Peng Lyu
2018-04-11 18:44:18 -07:00
parent 159234d3fd
commit 58a859e8c1

View File

@@ -60,7 +60,7 @@ export class MainThreadComments extends Disposable implements MainThreadComments
}
$unregisterCommentProvider(handle: number): void {
throw new Error('Method not implemented.');
this._providers.delete(handle);
}
dispose(): void {