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"
CancellationTokenSource
Class CancellationTokenSource
A cancellation token source create and manage a
cancellation token
Hierarchy
CancellationTokenSource
Index
Properties
token
Methods
cancel
dispose
Properties
token
token
:
CancellationToken
Methods
cancel
cancel
(
)
:
void
Returns
void
dispose
dispose
(
)
:
void
Returns
void
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
Source
token
cancel
dispose
A cancellation token source create and manage a cancellation token