Santhosh Thottingal 4b09afb2ba Simplify the preference system ...

* Just use key,value system and drop the concept of groups
* Abstract the preferences for each type of systems(display, input)
  to have meaningful APIs

Change-Id: I25423667adf6ca181a4027cdfc4ed378f36a94ba

2012-10-23 09:59:26 +05:30

..

css

After training the PHPStorm code formatter.

2012-09-17 17:10:59 -07:00

images

Fixup a few minor documentation issues

2012-08-19 01:19:46 +01:00

js

Simplify the preference system

2012-10-23 09:59:26 +05:30