do not rename kr_theme to kr during the build
update config_test.js
accept mode options object in static highlight extension
update csslint
make sure editor container never scrolls because of out of view textarea
improve ime style
destroy session when destroying the editor
disable automatic scroll into view
code style
fix error when inserting text inside code
minor fixes
Merge pull request #2063 from ajaxorg/fix/build

do not rename kr_theme to kr during the build
Merge pull request #2070 from ajaxorg/static-highlight

accept mode options object in static highlight extension
Merge pull request #2076 from ajaxorg/no-auto-scroll

Disable automatic scroll into view
Merge pull request #2077 from ajaxorg/mode/css

update csslint
Merge pull request #2086 from ajaxorg/textinput

IME issues
Merge pull request #2088 from ajaxorg/misc

Code cleanup + minor fixes
Merge pull request #2087 from ajaxorg/destroy

destroy session when destroying the editor
Merge https://github.com/ajaxorg/ace
fix code folding