Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/process
common/process-manager-types
ManagedProcessManager
Interface ManagedProcessManager
interface
ManagedProcessManager
{
get
(
id
:
number
)
:
undefined
|
ManagedProcess
;
register
(
process
:
ManagedProcess
)
:
number
;
unregister
(
process
:
ManagedProcess
)
:
void
;
}
Implemented by
ProcessManager
Index
Methods
get
register
unregister
Methods
get
get
(
id
:
number
)
:
undefined
|
ManagedProcess
Parameters
id
:
number
Returns
undefined
|
ManagedProcess
register
register
(
process
:
ManagedProcess
)
:
number
Parameters
process
:
ManagedProcess
Returns
number
unregister
unregister
(
process
:
ManagedProcess
)
:
void
Parameters
process
:
ManagedProcess
Returns
void
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Methods
get
register
unregister
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...