Re: [dev][surf] SURF_FIND not working after WebKitGtk update
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.
Received on Thu Aug 16 2018 - 12:00:02 CEST
This archive was generated by hypermail 2.3.0
: Thu Aug 16 2018 - 12:12:07 CEST