From fd9dd09078f0e61a1a0889098c187611b90a9e5b 2014-07-22 14:36:22 From: Sylvain Corlay Date: 2014-07-22 14:36:22 Subject: [PATCH] correction in widget.js --- diff --git a/IPython/html/static/widgets/js/widget.js b/IPython/html/static/widgets/js/widget.js index 29193e6..e14048d 100644 --- a/IPython/html/static/widgets/js/widget.js +++ b/IPython/html/static/widgets/js/widget.js @@ -343,7 +343,7 @@ define(["widgets/js/manager", // Walk the lists until an unequal entry is found. var i; for (i = 0; i < new_list.length; i++) { - if (i < old_list.length || new_list[i] !== old_list[i]) { + if (i >= old_list.length || new_list[i] !== old_list[i]) { break; } }