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.