Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/messages
browser/notifications-manager
Notification
Interface Notification
interface
Notification
{
actions
:
string
[]
;
collapsed
:
boolean
;
expandable
:
boolean
;
message
:
string
;
messageId
:
string
;
progress
?:
number
;
source
?:
string
;
type
:
Notification
.
Type
;
}
Index
Properties
actions
collapsed
expandable
message
message
Id
progress?
source?
type
Properties
actions
actions
:
string
[]
collapsed
collapsed
:
boolean
expandable
expandable
:
boolean
message
message
:
string
message
Id
messageId
:
string
Optional
progress
progress
?:
number
Optional
source
source
?:
string
type
type
:
Notification
.
Type
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
actions
collapsed
expandable
message
message
Id
progress
source
type
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...