From 8f18ae14c452ce98bf14431718a1ec4496168527 2014-05-08 16:59:20
From: Brian E. Granger <ellisonbg@gmail.com>
Date: 2014-05-08 16:59:20
Subject: [PATCH] Pop child view from child_model.view in delete_child_view

---

diff --git a/IPython/html/static/widgets/js/widget.js b/IPython/html/static/widgets/js/widget.js
index 04a1fd8..e40ffef 100644
--- a/IPython/html/static/widgets/js/widget.js
+++ b/IPython/html/static/widgets/js/widget.js
@@ -313,6 +313,7 @@ function(WidgetManager, _, Backbone){
             if (view !== undefined) {
                 delete this.child_views[child_model.id];
                 view.remove();
+                child_model.views.pop(view);
             }
         },