Add an entry to the search history when the search is triggered by an option change

src/vs/base/browser/ui/findinput/findInput.ts

@@ -181,6 +181,10 @@ export class FindInput extends Widget {
 		}
 	}
 
+	public onSearchSubmit(): void {
+		this.inputBox.addToHistory();
+	}
+
 	public style(styles: IFindInputStyles): void {
 		this.inputActiveOptionBorder = styles.inputActiveOptionBorder;
 		this.inputBackground = styles.inputBackground;

src/vs/workbench/parts/search/browser/searchView.ts

@@ -1109,6 +1109,7 @@ export class SearchView extends Viewlet implements IViewlet, IPanel {
 	}
 
 	private onQueryTriggered(query: ITextQuery, options: ITextQueryBuilderOptions, excludePatternText: string, includePatternText: string): void {
+		this.searchWidget.searchInput.onSearchSubmit();
 		this.inputPatternExcludes.onSearchSubmit();
 		this.inputPatternIncludes.onSearchSubmit();