25 May
2015
25 May
'15
11:32 a.m.
On Mo, Mai 25, 2015, eocene wrote:
Sebastian wrote:
In dillo, it should be rather simple to integrate the styles into the tools menu. Perhaps some configuration per site would be nice, too.
Do you suppose it would be more suitable to keep the user's setting for a page in nav or in cache? Objectively, cache seems right, but in some way feels like an unusual intrusion.
It should resemble the current behaviour for "Use remote CSS" etc. Which I find rather confusing, admittedly: Switching it in one browser window switches the check boxes in all windows, but re-renders the page only in one window. And, what I meant previously: a simple text file in which pages and sites can be configured. Sebastian