Re: [dev] [surf] patch : toggle, horiz scroll, togglestyle

From: Rob <robpilling_AT_gmail.com>
Date: Thu, 20 May 2010 12:51:44 +0100

On 2010-05-20, stanio_AT_cs.tu-berlin.de <stanio_AT_cs.tu-berlin.de> wrote:
> Hi,
>
> I am posting a patch against tip which lies on the border to caprice and
> code bloat, but these changes proved very useful to me in the last months.
> That's why I'd love to see some of them accepted.
>
> - toggle() boolean properties of Webkit (examples in the config)
>
> - scroll uses a heuristic in passing integer parameter borrowed from
> meillo, I guess, and extended to scroll a page up/down or to the
> begin/end of document. Scrolling vertically and horizontally differs
> just in the GtkAdjustment used. So I've put them together.
>
> Horizontal scroll is very useful on many (broken) sites when you have a
> small screen.
>
> - setting custom style I found useful for the frequent cases that I read
> long texts of insane color on insane background burning my eyes. The
> style file being sth like * {background:#333333 !important; text:#eeeeee
> !important;}
>
> - the key bindings in the patch are not ok but I ran out of ideas. Couldn't
> post my original ones, since they don't conform to the main line, e.g. I
> have hjkl for scrolling, HL for navigation, gG for begin/end of document,
> Space/Shift|Space for page down/up, etc.
>
> Thanks to everybody contributing to surf.
>
> Hope you find something useful.
>
> cheers,
> --
> stanio_
>
Received on Thu May 20 2010 - 11:51:44 UTC

This archive was generated by hypermail 2.2.0 : Thu May 20 2010 - 12:00:03 UTC