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

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?

Re: [dev] [surf] Webkit2 with proxy server

On Sat, 17 Dec 2016 09:27:02 +0800 Ivan Tham wrote: > On Sat, Dec 17, 2016 at 01:19:54AM +0100, Quentin Rameau wrote: > >> Hi, > >Hi Ian, > > > >> I have been using 'standard' surf through a proxy server for some > >> time by just setting 'http_proxy' in the env. This

[dev] [surf] Webkit2 with proxy server

Hi, I have been using 'standard' surf through a proxy server for some time by just setting 'http_proxy' in the env. This doesn't work with webkit2. Does anyone know a fix? Otherwise surf2 seems to be working fine. Thanks