Preparing search index...
The search index is not available

Theia TypeDoc
plugin-ext
toSelection

Function toSelection

toSelection(selection): Selection
Parameters
- selection: Selection
Returns Selection
- Defined in packages/plugin-ext/src/plugin/type-converters.ts:100

Settings

Member Visibility

Protected
Private
Inherited

Theme

Loading...