Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/types-impl
SelectionRange
Class SelectionRange
Index
Constructors
constructor
Properties
parent?
range
Constructors
constructor
new
SelectionRange
(
range
:
Range
,
parent
?:
SelectionRange
)
:
SelectionRange
Parameters
range
:
Range
Optional
parent
:
SelectionRange
Returns
SelectionRange
Properties
Optional
parent
parent
?:
SelectionRange
range
range
:
Range
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
parent
range
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...