Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/core
browser/tree/search-box
SearchBox
HighlightInfo
Interface HighlightInfo
interface
HighlightInfo
{
filterText
:
undefined
|
string
;
matched
:
number
;
total
:
number
;
}
Index
Properties
filter
Text
matched
total
Properties
filter
Text
filterText
:
undefined
|
string
matched
matched
:
number
total
total
:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
filter
Text
matched
total
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...