File tree Expand file tree Collapse file tree 1 file changed +2
-3
lines changed
Expand file tree Collapse file tree 1 file changed +2
-3
lines changed Original file line number Diff line number Diff line change @@ -83,16 +83,15 @@ and then use this [example project](images/test.terminal.zip):
8383</details >
8484
8585We added rudimentary searching capabilities to ` Browser ` widgets based on WebKit and GTK+.
86+ The search is enabled by setting the ` SWT.SEARCH ` style flag of the ` Browser ` widget.
8687The hotkey to open the search dialog is ` Ctrl+F ` ,
8788the dialog opens at the bottom left of the client area of the Browser widget. See screenshots below.
8889
8990The search dialog is closed with ` Esc ` .
9091Its also closed when resizing or moving the ` Browser ` widget or its parent ` Shell ` .
9192The dialog can be dragged and will remember its position until such a resize or move.
9293
93- The search dialog is not available for ` Browser ` widgets in a ` Shell ` with the ` SWT.TOOL ` style.
94-
95- The search can be disabled globally with the following VM property:
94+ The search can be disabled globally with the following VM property, e.g. in case of WebKit crashes:
9695
9796```
9897-Dorg.eclipse.swt.internal.webkitgtk.disableBrowserSearch=true
You can’t perform that action at this time.
0 commit comments