Theia API Documentation v1.67.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/core
node/backend-global
BackendGlobal
Interface BackendGlobal
interface
BackendGlobal
{
extensionInfo
:
ExtensionInfo
[]
;
serverAddress
?:
Promise
<
AddressInfo
>
;
}
Index
Properties
extension
Info
server
Address?
Properties
extension
Info
extensionInfo
:
ExtensionInfo
[]
Optional
server
Address
serverAddress
?:
Promise
<
AddressInfo
>
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
extension
Info
server
Address
Eclipse Theia Website
GitHub
Theia API Documentation v1.67.0
Loading...