File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 7373 < input type ="radio " name ="backend_inputs " value ="mathbox " id ="backend_mathbox ">
7474 < label for ="backend_mathbox " title ="Use the try-mathbox backend "> Mathbox</ label >
7575 </ li >
76+ < li >
77+ < input type ="radio " name ="backend_inputs " value ="behaviors " id ="backend_behaviors ">
78+ < label for ="backend_behaviors " title ="Use the try-behaviors backend "> Behaviors</ label >
79+ </ li >
7680 </ ul >
7781
7882 < ul id ="gists ">
Original file line number Diff line number Diff line change @@ -90,6 +90,15 @@ $(function() {
9090 extra_body : '' ,
9191 bundleAndExecute : defaultBundleAndExecute
9292 } ;
93+ } else if ( backend === "behaviors" ) {
94+ return {
95+ backend : "behaviors" ,
96+ endpoint : "https://compile.purescript.org/behaviors" ,
97+ mainGist : "ff1e87f0872d2d891e77d209d8f7706d" ,
98+ extra_styling : '' ,
99+ extra_body : '<canvas id="canvas" width="800" height="600"></canvas>' ,
100+ bundleAndExecute : defaultBundleAndExecute
101+ } ;
93102 } else { // core
94103 return {
95104 backend : "core" ,
You can’t perform that action at this time.
0 commit comments