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 -- [email protected] To unsubscribe send an email to [email protected]
