Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/editor
browser/editor-menu
EditorMainMenu
WORKSPACE_GROUP
Variable WORKSPACE_GROUP
Const
WORKSPACE_GROUP
:
string
[]
= ...
Workspace menu group in the
Go
main-menu.
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
Workspace menu group in the
Gomain-menu.