Fix bug in options handling

probmods · Jan 12, 2017 · 1cfd96d · 1cfd96d
1 parent 47af37e
commit 1cfd96d
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/docs/webppl-editor.js b/docs/webppl-editor.js
@@ -42616,8 +42616,8 @@ var CodeEditor = React.createClass({
       }
     }
   },
-  makeResultContainer: function (options) {
-    // TODO: take property arguments so that we can, e.g., make the div inline or have a border or something
+  makeResultContainer: function (_options) {
+    var options = _.defaults(_options || {}, {});
     this.addResult(_.extend({ type: 'DOM' }));
 
     // return the most recent custom component

diff --git a/src/index.js b/src/index.js
@@ -284,7 +284,9 @@ var CodeEditor = React.createClass({
       }
     }
   },
-  makeResultContainer: function(options) {
+  makeResultContainer: function(_options) {
+    var options = _.defaults(_options || {},
+                             {});
     this.addResult(_.extend({type: 'DOM'}));
 
     // return the most recent custom component