search

probmods / webppl-editor

Browser-based editor for WebPPL
Other
8 stars 1 forks source link

Detect language from CodeMirror value, not React prop #21

Open stuhlmueller opened 8 years ago

stuhlmueller commented 8 years ago

A code box that looks like this should be evaluated as Javascript:

// language: javascript

...
longouyang commented 8 years ago

Summarizing a Slack conversation: in dippl, we set the React property based on the initial value of the codebox so that // language: javascript boxes do work there; this is therefore lower priority.