fix bug in rowCache
do not redraw after changes to scrolled out lines
Updated to highlight dot code

Dot is a plain text graph description language used by graphviz.
Merge pull request #1137 from edwardsp/dot_highlighter

Updated to highlight dot code
fix editor automatically scrolling up at small zoom
make gutter resizing faster
added themeLoaded event

added 'themeLoaded' event that is dispatched right after a theme is loaded.

it can be used like this :
this.editor.renderer.on('themeLoaded',function(){
    //do something when the theme is loaded
});
added themeChange event

added themeChange event that is dispatched right before a theme is about to change
added theme data to the events

added theme data to the events
Detect workers during build instead of hardcoding them.
Update Readme.md
Create CONTRIBUTING.md
Merge pull request #1148 from Aaike/master

added 'themeChange' and 'themeLoaded' event
\x00 crashes firefox ime
cleanup
fix typing on ie8
disable autocapitalize to improve behavior on mobile browsers
restore selection only if something is selected
allow displaying spellcheck suggestions in contextmenu
do not change selection of blurred textarea