View source
typedef FileOperationFilter
package languageServerProtocol.protocol
import languageServerProtocol.protocol.FileOperations
A filter to describe in which file operation requests or notifications the server is interested in.
Available since
3.16.0
.