Dec. 20, 2025
2:27 p.m.
Hi, Rodrigo Arias <rodarima@gmail.com> 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