Add support for deleting comments, #58078

This commit is contained in:
Rachel Macfarlane
2018-09-18 16:45:41 -07:00
committed by GitHub
parent 6ec7423464
commit d1dbe4d53c
10 changed files with 139 additions and 29 deletions

View File

@@ -997,6 +997,7 @@ export interface ExtHostCommentsShape {
$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>;
$deleteComment(handle: number, document: UriComponents, comment: modes.Comment): Thenable<void>;
$provideWorkspaceComments(handle: number): Thenable<modes.CommentThread[]>;
}