better way for managing options
update doc comments
fix setTabSize
add config.setDefaultValue
typo
Merge pull request #1246 from chvanikoff/typo_fix

typo
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
fix my email address
Add new version of XQuery semantic highlighting.
Minor syntax highlighter improvement.
XQuery syntax highlighting improvements.
Minor improvements.
Remove unused files.
Update XQuery syntax highlighting test case.
Fix lexer bug.