InitializeParams.with_workspace_folders

Description:

public InitializeParams.with_workspace_folders (WorkspaceFolder primary_workspace, (unowned WorkspaceFolder)[]? secondary_workspaces = null) throws ConvertError

Creates initialization parameters with workspace folders.

Parameters:

primary_workspace	the primary workspace folder
secondary_workspaces	additional workspace folders