[dev][surf] SURF_FIND not working after WebKitGtk update

[Ian Macdonald]

Hi,

I have just updated webkitgtk from 2.18.3 to 2.20.2 and now the 'search
page' hot keys ( CTRL-slash and Ctrl-f ) no longer do anything.

Has anyone else had this problem?

[Quentin Rameau]

Post by Ian Macdonald
Hi,

Hello Ian,

Post by Ian Macdonald
I have just updated webkitgtk from 2.18.3 to 2.20.2 and now the 'search
page' hot keys ( CTRL-slash and Ctrl-f ) no longer do anything.
Has anyone else had this problem?

You shouldn't have this.
Are you sure this was the webkitgtk update which caused the issue?

At some point (you can look it up in the git history), surf started to
use the embedding feature of dmenu by default.

If you updated surf too, but not dmenu, this could be the source of the
problem.

[Nick]

Hi Ian,

Post by Ian Macdonald
I have just updated webkitgtk from 2.18.3 to 2.20.2 and now the 'search
page' hot keys ( CTRL-slash and Ctrl-f ) no longer do anything.
Has anyone else had this problem?

I don't have time to look into it properly, but as a datapoint I'm
currently using a self-built webkitgtk e27fd1c (which is 2.21.1 ish,
by the looks of it), and the search in page functionality of surf is
working fine for me.