Search
Preparing search index...
The search index is not available
Theia Plug-in API
Options
All
Public
Public/Protected
All
Inherited
Only exported
Menu
Globals
"@theia/plugin"
CancellationToken
Interface CancellationToken
A cancellation token used to request cancellation on long running or asynchronous task.
Hierarchy
CancellationToken
Index
Properties
is
Cancellation
Requested
on
Cancellation
Requested
Properties
is
Cancellation
Requested
is
Cancellation
Requested
:
boolean
on
Cancellation
Requested
on
Cancellation
Requested
:
Event
<
any
>
Globals
"@theia/plugin"
"@theia/plugin".commands
"@theia/plugin".debug
"@theia/plugin".env
"@theia/plugin".languages
"@theia/plugin".plugins
"@theia/plugin".window
"@theia/plugin".workspace
Cancellation
Token
is
Cancellation
Requested
on
Cancellation
Requested
A cancellation token used to request cancellation on long running or asynchronous task.