From 3a4860c09bf6ad4a10bc9065272bf0b2f91e2c63 2014-11-26 15:17:01 From: Jason Grout Date: 2014-11-26 15:17:01 Subject: [PATCH] remove obsolete optimization --- diff --git a/IPython/html/static/widgets/js/widget.js b/IPython/html/static/widgets/js/widget.js index e8e63a5..3336bce 100644 --- a/IPython/html/static/widgets/js/widget.js +++ b/IPython/html/static/widgets/js/widget.js @@ -593,7 +593,7 @@ define(["widgets/js/manager", // returns a promise that resolves after this removal is done var that = this; this.state_change = this.state_change.then(function() { - for (var i = 0, len=that.views.length; i