From b7f562dd32f38c83b5b7fea7aef3cec055ab2ef4 Mon Sep 17 00:00:00 2001
From: Corey Johnson <cj@github.com>
Date: Fri, 2 Sep 2011 18:00:21 -0700
Subject: [PATCH] Whenever a pane is added or removed, the editorUI is
 refreshed.

---
 src/osx.coffee | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/osx.coffee b/src/osx.coffee
index 4819f55f5..6f95c5fbf 100644
--- a/src/osx.coffee
+++ b/src/osx.coffee
@@ -3,6 +3,7 @@
 $ = require 'jquery'
 _ = require 'underscore'
 jscocoa = require 'jscocoa'
+Editor  = require 'editor'
 
 # Handles the UI chrome
 Chrome =
@@ -14,6 +15,9 @@ Chrome =
     el.setAttribute 'class', "pane " + position
     el.innerHTML = html
 
+    el.addEventListener('DOMNodeInsertedIntoDocument', Editor.resize, false);
+    el.addEventListener('DOMNodeRemovedFromDocument', Editor.resize, false);
+
     switch position
       when 'top', 'main'
         verticalDiv.prepend el