import { injectable, postConstruct } from '@theia/core/shared/inversify'; import * as React from '@theia/core/shared/react'; import { Key, KeyCode } from '@theia/core/lib/browser'; import { SearchInWorkspaceWidget as TheiaSearchInWorkspaceWidget } from '@theia/search-in-workspace/lib/browser/search-in-workspace-widget'; /** * Workaround for https://github.com/eclipse-theia/theia/pull/9183. */ @injectable() export class SearchInWorkspaceWidget extends TheiaSearchInWorkspaceWidget { @postConstruct() protected override init(): void { super.init(); this.title.iconClass = 'fa fa-arduino-search'; } protected override renderGlobField(kind: 'include' | 'exclude'): React.ReactNode { const currentValue = this.searchInWorkspaceOptions[kind]; const value = (currentValue && currentValue.join(', ')) || ''; return (