[WebKit] Allow disabling WebKit Browser search per Browser widget

Fixes: #2267

Author: trancexpress

bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/DisableWebKitBrowserSearch.java

@@ -0,0 +1,10 @@
+package org.eclipse.swt.browser;
+
+public class DisableWebKitBrowserSearch {
+
+	public static void disableSearch(Browser browser) {
+		if (browser.webBrowser instanceof WebKit wkb) {
+			wkb.disableSearch = true;
+		}
+	}
+}

bundles/org.eclipse.swt/Eclipse SWT WebKit/gtk/org/eclipse/swt/browser/WebKit.java

@@ -101,6 +101,8 @@ class WebKit extends WebBrowser {
 	private Point searchShellLocation;
 	private Shell searchShell;
 	private String searchText;
+	boolean disableSearch;
+
 
 	boolean firstLoad = true;
 	static boolean FirstCreate = true;
@@ -795,7 +797,7 @@ public void create (Composite parent, int style) {
 				break;
 			}
 			case SWT.KeyDown: {
-				if (!disableBrowserSearch && event.keyCode == 'f' && (event.stateMask & SWT.CTRL) == SWT.CTRL) {
+				if (!disableBrowserSearch && !disableSearch && event.keyCode == 'f' && (event.stateMask & SWT.CTRL) == SWT.CTRL) {
 					openSearchDialog();
 				}
 				break;