[Conkeror] Proxy Settings

[Alexander Reinwarth]

Nicholas A. Zigarovich <nicktastic <at> gmail.com> writes:

> Thanks for the script!

You're welcome.

> FYI - rather than using select_buffer_hook to update the mode line,
> you can use watch_pref(pref, hook) to call the widget's update()
> method when the network.proxy.* prefs used by the mode line are
> changed. Patch attached to this message.

Thanks for the hint, this is by far a more elegant solution to the problem of
reacting to changing values of a preference. 

> You also might be interested in the proposed proxy management API:
> 
> http://bugs.conkeror.org/issue59

This looks interesting, I'll stay tuned for the resulting API :)

Regards,

Alexander