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

From: Nick <>
Date: Thu, 16 Aug 2018 11:00:02 +0100

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