2009/6/29 Al Le <al...@gmx.de>: > On 30.06.2009 00:24, Paul Louden wrote: > >> And if a user then changes the setting back? > > Then the asterisk should disappear IMO. I.e. the "dirtyness" should be > computed every time. >
There are over 180 settings (IIRC)... if even 20 have the theme attribute that becomes a lot of added complexity for something which isnt an issue...