Add support for editing comments, #58078

This commit is contained in:
Rachel Macfarlane
2018-09-17 11:22:41 -07:00
committed by GitHub
parent ec058d3dd4
commit 1d1105e96b
9 changed files with 445 additions and 108 deletions

View File

@@ -995,6 +995,7 @@ export interface ExtHostCommentsShape {
$provideDocumentComments(handle: number, document: UriComponents): Thenable<modes.CommentInfo>;
$createNewCommentThread(handle: number, document: UriComponents, range: IRange, text: string): Thenable<modes.CommentThread>;
$replyToCommentThread(handle: number, document: UriComponents, range: IRange, commentThread: modes.CommentThread, text: string): Thenable<modes.CommentThread>;
$editComment(handle: number, document: UriComponents, comment: modes.Comment, text: string): Thenable<modes.Comment>;
$provideWorkspaceComments(handle: number): Thenable<modes.CommentThread[]>;
}