Merge branch 'master' into aeschli/recentWithLabel

This commit is contained in:
Martin Aeschlimann
2019-03-08 15:55:01 +01:00
62 changed files with 686 additions and 376 deletions

View File

@@ -332,6 +332,11 @@ export class MainThreadCommentController {
};
}
async getCommentingRanges(resource: URI, token): Promise<IRange[]> {
let commentingRanges = await this._proxy.$provideCommentingRanges(this.handle, resource, token);
return commentingRanges || [];
}
getAllComments(): MainThreadCommentThread[] {
let ret = [];
for (let thread of keys(this._threads)) {