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