[WIP] Add search capabilities to WebKit based Browser

This changes adds a search dialog to WebKit browsers. The search dialog
is opened with Ctrl+F and has next/previous word matching capabilities.

Fixes: #2222

Author: trancexpress

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

@@ -25,6 +25,7 @@
 import java.util.function.*;
 
 import org.eclipse.swt.*;
+import org.eclipse.swt.events.*;
 import org.eclipse.swt.graphics.*;
 import org.eclipse.swt.internal.*;
 import org.eclipse.swt.internal.gtk.*;
@@ -96,7 +97,10 @@ class WebKit extends WebBrowser {
 	URI tlsErrorUri;
 	String tlsErrorType;
 
+	private Shell searchShell;
+
 	boolean firstLoad = true;
+
 	static boolean FirstCreate = true;
 
 	/**
@@ -784,6 +788,12 @@ public void create (Composite parent, int style) {
 				onResize (event);
 				break;
 			}
+			case SWT.KeyDown: {
+				if (event.keyCode == 'f' && (event.stateMask & SWT.CTRL) == SWT.CTRL) {
+					openSearchDialog();
+				}
+				break;
+			}
 		}
 	};
 	browser.addListener (SWT.Dispose, listener);
@@ -2665,6 +2675,74 @@ private void webkit_settings_set(byte [] property, int value) {
 	OS.g_object_set(settings, property, value, 0);
 }
 
+private void openSearchDialog() {
+	if (searchShell != null && !searchShell.isDisposed()) {
+		return;
+	}
+	/*
+	 * TODO:
+	 * how to set no max count here? 65535 should be the value of UINT_MAX,
+	 * which should be G_MAXUINT, which should be the maximum count here
+	 */
+	int maxMatchesCount = 65535;
+	int searchOptions = 0;
+	Shell shell = new Shell(browser.getShell(), SWT.TOOL | SWT.ON_TOP | SWT.RESIZE);
+	shell.setText("Search for text");
+	shell.setLayout(new FillLayout());
+	Point browserLocation = browser.getLocation();
+	Rectangle browserArea = browser.getClientArea();
+	Point location = browser.getShell().getLocation();
+	location.x += browserLocation.x;
+	location.y += browserLocation.y + browserArea.height;
+	shell.setLocation(location);
+	Composite composite = new Composite(shell, SWT.NONE);
+	GridLayout l = new GridLayout();
+	l.numColumns = 3;
+	composite.setLayout(l);
+	Text text = new Text(composite, SWT.BORDER);
+	Button next = new Button(composite, SWT.FLAT | SWT.ARROW | SWT.DOWN);
+	Button previous = new Button(composite, SWT.FLAT | SWT.ARROW | SWT.UP);
+
+	AtomicBoolean searched = new AtomicBoolean(false);
+	long findController = WebKitGTK.webkit_web_view_get_find_controller(webView);
+	Runnable searchNext = () -> {
+		if (!searched.getAndSet(true)) {
+			System.out.println("search");
+			String searchText = text.getText();
+			WebKitGTK.webkit_find_controller_search(findController, searchText.getBytes(), searchOptions, maxMatchesCount);
+		} else {
+			WebKitGTK.webkit_find_controller_search_next(findController);
+			System.out.println("next");
+		}
+	};
+	Runnable searchPrevious = () -> {
+		if (!searched.getAndSet(true)) {
+			String searchText = text.getText();
+			WebKitGTK.webkit_find_controller_search(findController, searchText.getBytes(), searchOptions, maxMatchesCount);
+		} else {
+			WebKitGTK.webkit_find_controller_search_previous(findController);
+		}
+	};
+	next.addSelectionListener(SelectionListener.widgetSelectedAdapter(e -> searchNext.run()));
+	previous.addSelectionListener(SelectionListener.widgetSelectedAdapter(e -> searchPrevious.run()));
+	text.addKeyListener(KeyListener.keyPressedAdapter(e -> {
+		if (e.keyCode == SWT.CR || e.keyCode == SWT.KEYPAD_CR) {
+			searchNext.run();
+		}
+	}));
+	text.addModifyListener(e -> {
+		WebKitGTK.webkit_find_controller_search_finish(findController);
+		searched.getAndSet(false);
+	});
+	shell.addDisposeListener(e -> {
+		WebKitGTK.webkit_find_controller_search_finish(findController);
+		searchShell = null;
+	});
+	shell.pack();
+	shell.open();
+	searchShell = shell;
+}
+
 static Object convertToJava (long ctx, long value) {
 	int type = WebKitGTK.JSValueGetType (ctx, value);
 	switch (type) {