do not wait for pollSizeChanges to apply change after setFontSize

This commit is contained in:
nightwing 2012-01-02 21:28:49 +04:00
commit 29246bf8d9

View file

@ -221,6 +221,7 @@ var Editor = function(renderer, session) {
this.setFontSize = function(size) {
this.container.style.fontSize = size;
this.renderer.updateFontSize();
};
this.$highlightBrackets = function() {