diff --git a/docs/webppl-editor.js b/docs/webppl-editor.js index 11676c6..aec2d2b 100644 --- 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 index e8683e2..ed8d38e 100644 --- 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