Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/editor
browser/editor-manager
EditorSelectionResolver
Interface EditorSelectionResolver
interface
EditorSelectionResolver
{
priority
?:
number
;
resolveSelection
(
widget
:
EditorWidget
,
options
:
EditorOpenerOptions
,
uri
?:
URI
,
)
:
Promise
<
undefined
|
RecursivePartial
<
Range
>
>
;
}
Implemented by
GitHubSelectionResolver
TextFragmentSelectionResolver
TypeDocSymbolSelectionResolver
Index
Properties
priority?
Methods
resolve
Selection
Properties
Optional
priority
priority
?:
number
Methods
resolve
Selection
resolveSelection
(
widget
:
EditorWidget
,
options
:
EditorOpenerOptions
,
uri
?:
URI
,
)
:
Promise
<
undefined
|
RecursivePartial
<
Range
>
>
Parameters
widget
:
EditorWidget
options
:
EditorOpenerOptions
Optional
uri
:
URI
Returns
Promise
<
undefined
|
RecursivePartial
<
Range
>
>
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
priority
Methods
resolve
Selection
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...