Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/editor
browser/editor-menu
EditorMainMenu
Namespace EditorMainMenu
Variables
BY_NUMBER
CONTEXT_GROUP
GO
LANGUAGE_FEATURES_GROUP
LOCATION_GROUP
NAVIGATION_GROUP
NEXT_PREVIOUS
PANE_GROUP
WORKSPACE_GROUP
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Variables
BY_
NUMBER
CONTEXT_
GROUP
GO
LANGUAGE_
FEATURES_
GROUP
LOCATION_
GROUP
NAVIGATION_
GROUP
NEXT_
PREVIOUS
PANE_
GROUP
WORKSPACE_
GROUP
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...