> Hi, Hello Ian,
> 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.
