Protected ReadonlyconnectionProtected ReadonlyfrontendProtected ReadonlyhostedProtected ReadonlyhostedProtected ReadonlyhostedProtected ReadonlyhostedProtected ReadonlymessageProtected ReadonlypreferenceProtected ReadonlystatusStatic ReadonlyHOSTED_Static ReadonlyHOSTED_Static ReadonlyHOSTED_ProtectedaddAdds commands to the menu for running plugin.
ProtectedaddAdds command to the menu for stopped plugin.
ProtectedhandleStarts / stops watchers on hosted instance state change.
hosted instance state change event
Called on application startup before configure is called.
ProtectedonDisplay status bar element for failed plugin.
ProtectedonDisplay status bar element for running plugin.
ProtectedonDisplay status bar element for starting plugin.
ProtectedonDisplay status bar element for stopped plugin.
ProtectedonProtectedshowShow menu containing actions to start/stop/restart hosted plugin.
Adds a status bar element displaying the state of secondary Theia instance with hosted plugin and allows controlling the instance by simple clicking on the status bar element.