better way for managing options
update doc comments
fix setTabSize
add config.setDefaultValue
add setDefaultValues instead of doing two things in setDefaultValue
do not add set/get option methods automatically
add forwarding for session options
fix typo in fadFoldWidgets options setter
fix typo in setTabSize
Merge pull request #1226 from ajaxorg/options

better way for managing options