On 16/02/12 14:11, Jeremias Nuñez wrote:
When you say "extensive consultation" are you referring to the UI or to which preferences could be made global? I think we talked about this on IRC too but I don't quite remember.
I'd also appreciate if you could point me where I could start "diving in", so I can get a sense of how things were done.
Thanks again.
The problem is the social part. For instance, some people will want their skin to be global, while others will moan because they "need" a different one between two wikis.
It should be much easier with the "new" (3 yo) preferences system. Conceptually, I think the changes needed to support it are easy: instead of using the user preference or the wiki default if not available you would use the user preference, then the user global preference, and finally the wiki default.
The challenge will be at providing a suitable interface for preferences, setting explicit preferences (currently we just remove the user preference if the user chooses the default), switching between global and local preferences (I'd make the page for the global ones the default), etc.