Properties
Protected
_hasResults
_hasResults: boolean = false
Private
_searchTimeout
_searchTimeout: number
Protected
_showReplaceField
_showReplaceField: boolean = false
Protected
contentNode
contentNode: HTMLElement
Protected
Readonly
contextKeyService
Protected
Readonly
editorManager
editorManager: EditorManager
Protected
includeIgnoredState
Readonly
onDidUpdate
onDidUpdate: Event<void> = ...
Protected
Readonly
onDidUpdateEmitter
onDidUpdateEmitter: Emitter<void> = ...
Protected
Readonly
progressBarFactory
progressBarFactory: ProgressBarFactory
Protected
replaceTerm
replaceTerm: string = ''
Protected
resultContainer
resultContainer: HTMLElement
Protected
resultNumber
resultNumber: number = 0
Readonly
resultTreeWidget
Protected
searchFieldContainerIsFocused
searchFieldContainerIsFocused: boolean = false
Protected
searchFormContainer
searchFormContainer: HTMLElement
Protected
searchFormContainerRoot
searchFormContainerRoot: Root
Protected
searchInWorkspaceOptions
Protected
Readonly
searchInWorkspacePreferences
Protected
searchTerm
searchTerm: string = ''
Protected
showSearchDetails
showSearchDetails: boolean = false
Protected
Readonly
workspaceService
workspaceService: WorkspaceService
Static
ID
ID: string = 'search-in-workspace'
Static
LABEL
LABEL: string = ...
Determine if search should be case sensitive.