Re: Remote control socket (experimental)

Rodrigo Arias <[email protected]> Sat, 20 Dec 2025 12:42:17 +0100
Newsgroups gmane.comp.web.dillo.devel
Message-ID <[email protected]>
Hi,

> Looks to be working now! Thanks for this very cool new feature, BTW!

Nice! Let me know if you find some other problems.

> 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?

Best,
Rodrigo.
_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]