Re: [dev] [surf] patch for style toggling

2013-02-17 Thread stanio
* Christoph Lohmann 2013-02-16 16:30 > The toggling has a relevance, but your »code.txt« should be a patch on yeah, sorry for not sending proper patch, my surf is ancient. I have to update it next days. But still, I think it doesn't hurt to have the function as I do. Then, you can have a trivi

Re: [dev] [surf] patch for style toggling

2013-02-16 Thread Nick
Quoth Christoph Lohmann: > Yeah, the patch looks good, it’s applied. You forgot to add the changes > for the manpage. I did this. Thanks Christoph, and good catch with the manpage.

Re: [dev] [surf] patch for style toggling

2013-02-16 Thread Christoph Lohmann
Greetings. On Sat, 16 Feb 2013 16:23:23 +0100 sta...@cs.tu-berlin.de wrote: > * Nick 2013-02-16 15:12 > > +static void > > +togglestyle(Client *c, const Arg *arg) { > > + WebKitWebSettings *settings; > > + char *uri; > > + > > + settings = webkit_web_view_get_settings(c->view); > > + g_obj

Re: [dev] [surf] patch for style toggling

2013-02-16 Thread Christoph Lohmann
Greetings. On Sat, 16 Feb 2013 16:18:52 +0100 Nick wrote: > Attached is a patch that enables toggling the user style on/off. It > also adds an appropriate letter to the status thing in the title. It > uses the key / letter 'm', only because 's' and 'c' (for style / > css) are already taken. Th

Re: [dev] [surf] patch for style toggling

2013-02-16 Thread stanio
* Nick 2013-02-16 15:12 > +static void > +togglestyle(Client *c, const Arg *arg) { > + WebKitWebSettings *settings; > + char *uri; > + > + settings = webkit_web_view_get_settings(c->view); > + g_object_get(G_OBJECT(settings), "user-stylesheet-uri", &uri, NULL); > + uri = uri[0]

[dev] [surf] patch for style toggling

2013-02-16 Thread Nick
Attached is a patch that enables toggling the user style on/off. It also adds an appropriate letter to the status thing in the title. It uses the key / letter 'm', only because 's' and 'c' (for style / css) are already taken. The patch is against tip. I use this to switch between a dark style a