View source
class WorkspaceFoldersRequest
package languageServerProtocol.protocol
import languageServerProtocol.protocol.WorkspaceFolders
The workspace/workspaceFolders
is sent from the server to the client to fetch the open workspace folders.
The workspace/workspaceFolders
is sent from the server to the client to fetch the open workspace folders.
staticfinalinlineread onlytype:ProtocolRequestType<NoData, Null<Array<WorkspaceFolder>>, Never, NoData, NoData> = new ProtocolRequestType<NoData,Null<Array<WorkspaceFolder>>,Never,NoData,NoData>("workspace/workspaceFolders")