workspaceConfiguration property

Map<String, dynamic> workspaceConfiguration

Configuration settings for the workspace. These are sent to the server via workspace/didChangeConfiguration notifications.

Implementation

final Map<String, dynamic> workspaceConfiguration;