From e182b6c2ae333aeaa599038de64c6a1d046eb8bc Mon Sep 17 00:00:00 2001
From: Chris Wanstrath <chris@ozmm.org>
Date: Wed, 9 Nov 2011 12:05:11 -0800
Subject: [PATCH] ui timeout hack returns

---
 src/editor.coffee | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/editor.coffee b/src/editor.coffee
index 7f14c6a65..ebe6f96ec 100644
--- a/src/editor.coffee
+++ b/src/editor.coffee
@@ -51,6 +51,9 @@ class Editor extends Pane
     el = document.body
     el.addEventListener 'DOMNodeInsertedIntoDocument', => @resize()
     el.addEventListener 'DOMNodeRemovedFromDocument', => @resize()
+    setTimeout =>
+      @resize()
+    , 500
 
   modeMap:
     js: 'javascript'