Allow custom css for makeResultContainer

probmods · Dec 31, 2016 · 47af37e · 47af37e
1 parent 7fd95df
commit 47af37e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/docs/webppl-editor.js b/docs/webppl-editor.js
@@ -42616,13 +42616,16 @@ var CodeEditor = React.createClass({
       }
     }
   },
-  makeResultContainer: function () {
+  makeResultContainer: function (options) {
     // TODO: take property arguments so that we can, e.g., make the div inline or have a border or something
     this.addResult(_.extend({ type: 'DOM' }));
 
     // return the most recent custom component
     // TODO: don't depend on jquery for this
     var element = _.last($(ReactDOM.findDOMNode(this)).find('.custom'));
+    if (options.css) {
+      $(element).css(options.css);
+    }
     return element;
   },
   // ------------------------------------------------------------

diff --git a/src/index.js b/src/index.js
@@ -284,13 +284,15 @@ var CodeEditor = React.createClass({
       }
     }
   },
-  makeResultContainer: function() {
-    // TODO: take property arguments so that we can, e.g., make the div inline or have a border or something
+  makeResultContainer: function(options) {
     this.addResult(_.extend({type: 'DOM'}));
 
     // return the most recent custom component
     // TODO: don't depend on jquery for this
     var element = _.last($(ReactDOM.findDOMNode(this)).find('.custom'));
+    if (options.css) {
+      $(element).css(options.css)
+    }
     return element;
   },
   // ------------------------------------------------------------