Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/search-in-workspace
browser/search-in-workspace-result-tree-widget
SearchInWorkspaceResultTreeWidget
Menus
EXTERNAL
Variable EXTERNAL
Const
EXTERNAL
:
string
[]
= ...
Commands that lead out of the widget, like revealing a file in the navigator
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
Commands that lead out of the widget, like revealing a file in the navigator