Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
core
core
HighlightInfo
Interface HighlightInfo
interface
HighlightInfo
{
filterText
:
undefined
|
string
;
matched
:
number
;
total
:
number
;
}
Index
Properties
filter
Text
matched
total
Properties
filter
Text
filter
Text
:
undefined
|
string
matched
matched
:
number
total
total
:
number
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
filter
Text
matched
total
Theia TypeDoc
Loading...