Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin
MappedEditsProvider2
Interface MappedEditsProvider2
Interface for providing mapped edits for a given document.
interface
MappedEditsProvider2
{
provideMappedEdits
(
request
,
result
,
token
)
:
ProviderResult
<
MappedEditsResult
>
;
}
Index
Methods
provide
Mapped
Edits
Methods
provide
Mapped
Edits
provide
Mapped
Edits
(
request
,
result
,
token
)
:
ProviderResult
<
MappedEditsResult
>
Parameters
request
:
MappedEditsRequest
result
:
MappedEditsResponseStream
token
:
CancellationToken
Returns
ProviderResult
<
MappedEditsResult
>
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
provide
Mapped
Edits
Theia TypeDoc
Loading...
Interface for providing mapped edits for a given document.