Re: Remote control socket (experimental)

Hi,

Rodrigo Arias <[email protected]> wrote:

> > PS. Any chance of adding an option to reload dillorc prefs too? :)  
> 
> That would be doable, but I'm not sure if we can just re-parse all 
> settings as-is without propagating the new values to other parts of 
> Dillo which might have made a copy.
> 
> Which use case do you have in mind? For the user agent rotation?

That was my initial use-case, but I also think that being able to
change things like fonts and colors without having to restart dillo
could be more useful for average users. For example switching between a
light and dark color mode, or switching between regular fonts and CJK,
etc.

Thanks!
Alex
_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]