Added the ability to set the editor font size
Added the ability to setHighlightSelectedWord, which determines if the currently selected word should be highlighted in all the document.
Merge pull request #29 from kaismh/master

Several changes and fixes
Version to 0.8.13-SNAPSHOT