| http://www.w3.org/ns/prov#value | - I would say though that many themes are implemented in the wrong place IMO. Themeable widget sets for example are an excellent idea (even better if the theme can be selected at application level like with MUI for the amiga for example (does gtk+ allow this?)), because the application programmer does not have to do any extra work to make his/her app themeable (and ithe code is also therefore smaller
|
