Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/notification
NotificationExtImpl
Class NotificationExtImpl
Implements
NotificationExt
Index
Constructors
constructor
Methods
$accept
Progress
Canceled
map
Location
with
Progress
Constructors
constructor
new
NotificationExtImpl
(
rpc
:
RPCProtocol
)
:
NotificationExtImpl
Parameters
rpc
:
RPCProtocol
Returns
NotificationExtImpl
Methods
$accept
Progress
Canceled
$acceptProgressCanceled
(
id
:
string
)
:
void
Parameters
id
:
string
Returns
void
Protected
map
Location
mapLocation
(
location
:
ProgressLocation
|
{
viewId
:
string
}
)
:
undefined
|
string
Parameters
location
:
ProgressLocation
|
{
viewId
:
string
}
Returns
undefined
|
string
with
Progress
withProgress
<
R
>
(
options
:
ProgressOptions
,
task
:
(
progress
:
Progress
<
{
increment
?:
number
;
message
?:
string
}
>
,
token
:
CancellationToken
,
)
=>
PromiseLike
<
R
>
,
)
:
Promise
<
R
>
Type Parameters
R
Parameters
options
:
ProgressOptions
task
:
(
progress
:
Progress
<
{
increment
?:
number
;
message
?:
string
}
>
,
token
:
CancellationToken
,
)
=>
PromiseLike
<
R
>
Returns
Promise
<
R
>
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Methods
$accept
Progress
Canceled
map
Location
with
Progress
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...