@@ -7,7 +7,6 @@ import * as Annotator from "./annotator";
77import * as notifications from "./notifications" ;
88import findJava from "./findJava" ;
99import { LanguageClient , LanguageClientOptions , ServerOptions , StreamInfo } from "vscode-languageclient" ;
10- import { Proposed } from 'vscode-languageserver-protocol' ;
1110import { AttachDebuggerProvider } from './debugger/AttachDebuggerProvider' ;
1211import { MobDebuggerProvider } from './debugger/MobDebuggerProvider' ;
1312
@@ -27,7 +26,6 @@ export function activate(context: vscode.ExtensionContext) {
2726
2827 vscode . workspace . onDidChangeConfiguration ( onDidChangeConfiguration , null , savedContext . subscriptions ) ;
2928 vscode . workspace . onDidChangeTextDocument ( onDidChangeTextDocument , null , savedContext . subscriptions ) ;
30- vscode . workspace . onDidChangeWorkspaceFolders ( onDidChangeWorkspaceFolders , null , savedContext . subscriptions ) ;
3129 vscode . window . onDidChangeActiveTextEditor ( onDidChangeActiveTextEditor , null , savedContext . subscriptions ) ;
3230 vscode . commands . registerCommand ( "emmy.restartServer" , restartServer ) ;
3331 vscode . commands . registerCommand ( "emmy.showReferences" , showReferences ) ;
@@ -45,20 +43,6 @@ export function activate(context: vscode.ExtensionContext) {
4543 } ) ;
4644}
4745
48- function asProtocol ( workspaceFolder : vscode . WorkspaceFolder ) : Proposed . WorkspaceFolder {
49- return { uri : workspaceFolder . uri . toString ( ) , name : workspaceFolder . name } ;
50- }
51-
52- function onDidChangeWorkspaceFolders ( event : vscode . WorkspaceFoldersChangeEvent ) {
53- const params : Proposed . DidChangeWorkspaceFoldersParams = {
54- event : {
55- added : event . added . map ( folder => asProtocol ( folder ) ) ,
56- removed : event . removed . map ( folder => asProtocol ( folder ) )
57- }
58- } ;
59- client . sendNotification ( "emmy/didChangeWorkspaceFolders" , params ) ;
60- }
61-
6246function onDidChangeTextDocument ( event : vscode . TextDocumentChangeEvent ) {
6347 if ( activeEditor && activeEditor . document === event . document ) {
6448 Annotator . requestAnnotators ( activeEditor , client ) ;
0 commit comments