From 29246bf8d97f58f7d3163037772b4588fe280b5d Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Mon, 2 Jan 2012 21:28:49 +0400
Subject: [PATCH] do not wait for pollSizeChanges to apply change after
 setFontSize

---
 lib/ace/editor.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/ace/editor.js b/lib/ace/editor.js
index 96baea30..b003146f 100644
--- a/lib/ace/editor.js
+++ b/lib/ace/editor.js
@@ -221,6 +221,7 @@ var Editor = function(renderer, session) {
 
     this.setFontSize = function(size) {
         this.container.style.fontSize = size;
+        this.renderer.updateFontSize();
     };
 
     this.$highlightBrackets = function() {