workspace
- Source:
- requests.scala
Type members
Classlikes
A request sent from the server to the client to modified certain resources.
A request sent from the server to the client to modified certain resources.
- Source:
- requests.scala
The 'workspace/configuration' request is sent from the server to the client to fetch a certain configuration setting.
The 'workspace/configuration' request is sent from the server to the client to fetch a certain configuration setting.
This pull model replaces the old push model were the client signaled configuration change via an
event. If the server still needs to react to configuration changes (since the server caches the
result of workspace/configuration
requests) the server should register for an empty configuration
change event and empty the cache if such an event is received.
- Source:
- requests.scala
The workspace diagnostic request definition.
The workspace diagnostic request definition.
- Since:
3.17.0
- Source:
- requests.scala
The configuration change notification is sent from the client to the server when the client's configuration has changed. The notification contains the changed configuration as defined by the language client.
The configuration change notification is sent from the client to the server when the client's configuration has changed. The notification contains the changed configuration as defined by the language client.
- Source:
- requests.scala
The watched files notification is sent from the client to the server when the client detects changes to file watched by the language client.
The watched files notification is sent from the client to the server when the client detects changes to file watched by the language client.
- Source:
- requests.scala
The workspace/didChangeWorkspaceFolders
notification is sent from the client to the server when the workspace
folder configuration changes.
The workspace/didChangeWorkspaceFolders
notification is sent from the client to the server when the workspace
folder configuration changes.
- Source:
- requests.scala
The did create files notification is sent from the client to the server when files were created from within the client.
The did create files notification is sent from the client to the server when files were created from within the client.
- Since:
3.16.0
- Source:
- requests.scala
The will delete files request is sent from the client to the server before files are actually deleted as long as the deletion is triggered from within the client.
The will delete files request is sent from the client to the server before files are actually deleted as long as the deletion is triggered from within the client.
- Since:
3.16.0
- Source:
- requests.scala
The did rename files notification is sent from the client to the server when files were renamed from within the client.
The did rename files notification is sent from the client to the server when files were renamed from within the client.
- Since:
3.16.0
- Source:
- requests.scala
A request send from the client to the server to execute a command. The request might return a workspace edit which the client will apply to the workspace.
A request send from the client to the server to execute a command. The request might return a workspace edit which the client will apply to the workspace.
- Source:
- requests.scala
A request to list project-wide symbols matching the query string given by the WorkspaceSymbolParams. The response is of type SymbolInformation[] or a Thenable that resolves to such.
A request to list project-wide symbols matching the query string given by the WorkspaceSymbolParams. The response is of type SymbolInformation[] or a Thenable that resolves to such.
- Since:
3.17.0 - support for WorkspaceSymbol in the returned data. Clients need to advertise support for WorkspaceSymbols via the client capability
workspace.symbol.resolveSupport
.- Source:
- requests.scala
The will create files request is sent from the client to the server before files are actually created as long as the creation is triggered from within the client.
The will create files request is sent from the client to the server before files are actually created as long as the creation is triggered from within the client.
- Since:
3.16.0
- Source:
- requests.scala
The did delete files notification is sent from the client to the server when files were deleted from within the client.
The did delete files notification is sent from the client to the server when files were deleted from within the client.
- Since:
3.16.0
- Source:
- requests.scala
The will rename files request is sent from the client to the server before files are actually renamed as long as the rename is triggered from within the client.
The will rename files request is sent from the client to the server before files are actually renamed as long as the rename is triggered from within the client.
- Since:
3.16.0
- Source:
- requests.scala
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.
- Source:
- requests.scala