From c066d0a12ab97e88d9afd5bfa725ffffb9f9b42a 2014-07-27 15:58:30
From: sylvain.corlay <sylvain.corlay@gmail.com>
Date: 2014-07-27 15:58:30
Subject: [PATCH] adding options explicitly

---

diff --git a/IPython/html/static/widgets/js/widget.js b/IPython/html/static/widgets/js/widget.js
index 82397c5..4bb24ac 100644
--- a/IPython/html/static/widgets/js/widget.js
+++ b/IPython/html/static/widgets/js/widget.js
@@ -405,7 +405,7 @@ define(["widgets/js/manager",
 
 
     var DOMWidgetView = WidgetView.extend({
-        initialize: function () {
+        initialize: function (options) {
             // Public constructor
             DOMWidgetView.__super__.initialize.apply(this, arguments);
             this.on('displayed', this.show, this);