Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/notebook
browser/view/notebook-find-widget
NotebookEditorFindOptions
Interface NotebookEditorFindOptions
interface
NotebookEditorFindOptions
{
jumpToMatch
?:
boolean
;
matchCase
?:
boolean
;
modifyIndex
?:
(
matches
:
NotebookEditorFindMatch
[]
,
index
:
number
)
=>
number
;
regex
?:
boolean
;
search
?:
string
;
wholeWord
?:
boolean
;
}
Index
Properties
jump
To
Match?
match
Case?
modify
Index?
regex?
search?
whole
Word?
Properties
Optional
jump
To
Match
jumpToMatch
?:
boolean
Optional
match
Case
matchCase
?:
boolean
Optional
modify
Index
modifyIndex
?:
(
matches
:
NotebookEditorFindMatch
[]
,
index
:
number
)
=>
number
Optional
regex
regex
?:
boolean
Optional
search
search
?:
string
Optional
whole
Word
wholeWord
?:
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
jump
To
Match
match
Case
modify
Index
regex
search
whole
Word
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...