File tree Expand file tree Collapse file tree 2 files changed +10
-0
lines changed
Expand file tree Collapse file tree 2 files changed +10
-0
lines changed Original file line number Diff line number Diff line change 3838< script type ="text/javascript " src ="js/d3.v2.min.js "> </ script >
3939< script type ="text/javascript " src ="js/jquery-1.8.2.min.js "> </ script >
4040< script type ="text/javascript " src ="js/jquery.ba-bbq.min.js "> </ script > <!-- for handling back button and URL hashes -->
41+ < script type ="text/javascript " src ="js/jquery.ba-dotimeout.min.js "> </ script > <!-- for event debouncing -->
4142< script type ="text/javascript " src ="js/jquery.jsPlumb-1.3.10-all-min.js "> </ script > <!-- for rendering SVG connectors
4243 DO NOT UPGRADE ABOVE 1.3.10 OR ELSE BREAKAGE WILL OCCUR -->
4344< script type ="text/javascript " src ="js/jquery-ui-1.8.24.custom.min.js "> </ script > <!-- for sliders and other UI elements -->
6364< script type ="text/javascript " src ="js/composingprograms.js "> </ script >
6465< link rel ="stylesheet " href ="css/opt-frontend.css "/>
6566
67+ <!-- include this AFTER opt-frontend.js so that configuration
68+ global variables are already defined at load time -->
69+ < script type ="text/javascript " src ="js/togetherjs/togetherjs-min.js "> </ script >
70+
6671</ head >
6772
6873< body >
Original file line number Diff line number Diff line change 3838< script type ="text/javascript " src ="js/d3.v2.min.js "> </ script >
3939< script type ="text/javascript " src ="js/jquery-1.8.2.min.js "> </ script >
4040< script type ="text/javascript " src ="js/jquery.ba-bbq.min.js "> </ script > <!-- for handling back button and URL hashes -->
41+ < script type ="text/javascript " src ="js/jquery.ba-dotimeout.min.js "> </ script > <!-- for event debouncing -->
4142< script type ="text/javascript " src ="js/jquery.jsPlumb-1.3.10-all-min.js "> </ script > <!-- for rendering SVG connectors
4243 DO NOT UPGRADE ABOVE 1.3.10 OR ELSE BREAKAGE WILL OCCUR -->
4344< script type ="text/javascript " src ="js/jquery-ui-1.8.24.custom.min.js "> </ script > <!-- for sliders and other UI elements -->
6263< script type ="text/javascript " src ="js/csc108h.js "> </ script >
6364< link rel ="stylesheet " href ="css/opt-frontend.css "/>
6465
66+ <!-- include this AFTER opt-frontend.js so that configuration
67+ global variables are already defined at load time -->
68+ < script type ="text/javascript " src ="js/togetherjs/togetherjs-min.js "> </ script >
69+
6570</ head >
6671
6772< body >
You can’t perform that action at this time.
0 commit comments