File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6262< link type ="text/css " href ="css/codemirror.css " rel ="stylesheet " />
6363< script type ="text/javascript " src ="js/codemirror/python.js "> </ script >
6464
65+ <!-- Ace online code editor -->
66+ < script type ="text/javascript " src ="js/ace/src-min-noconflict/ace.js " charset ="utf-8 "> </ script >
67+
6568< script type ="text/javascript " src ="js/opt-frontend-common.js "> </ script >
6669< script type ="text/javascript " src ="js/composingprograms.js "> </ script >
6770< link rel ="stylesheet " href ="css/opt-frontend.css "/>
Original file line number Diff line number Diff line change 6161< link type ="text/css " href ="css/codemirror.css " rel ="stylesheet " />
6262< script type ="text/javascript " src ="js/codemirror/python.js "> </ script >
6363
64+ <!-- Ace online code editor -->
65+ < script type ="text/javascript " src ="js/ace/src-min-noconflict/ace.js " charset ="utf-8 "> </ script >
66+
6467< script type ="text/javascript " src ="js/opt-frontend-common.js "> </ script >
6568< script type ="text/javascript " src ="js/csc108h.js "> </ script >
6669< link rel ="stylesheet " href ="css/opt-frontend.css "/>
Original file line number Diff line number Diff line change 6161< link type ="text/css " href ="css/codemirror.css " rel ="stylesheet " />
6262< script type ="text/javascript " src ="js/codemirror/python.js "> </ script >
6363
64+ <!-- Ace online code editor -->
65+ < script type ="text/javascript " src ="js/ace/src-min-noconflict/ace.js " charset ="utf-8 "> </ script >
66+
6467< script type ="text/javascript " src ="js/opt-frontend-common.js "> </ script >
6568< script type ="text/javascript " src ="js/csc108h.js "> </ script >
6669< link rel ="stylesheet " href ="css/opt-frontend.css "/>
Original file line number Diff line number Diff line change @@ -67,8 +67,7 @@ var appMode = 'edit'; // 'edit' or 'display'. also support
6767var pyInputCodeMirror ; // CodeMirror object that contains the input code
6868var pyInputAceEditor ; // Ace editor object that contains the input code
6969
70- var useCodeMirror = true ; // true -> use CodeMirror, false -> use Ace
71- var useCodeMirror = false ;
70+ var useCodeMirror = false ; // true -> use CodeMirror, false -> use Ace
7271
7372
7473function initAceEditor ( height ) {
Original file line number Diff line number Diff line change 5454< link type ="text/css " href ="css/codemirror.css " rel ="stylesheet " />
5555< script type ="text/javascript " src ="js/codemirror/python.js "> </ script >
5656
57+ <!-- Ace online code editor -->
58+ < script type ="text/javascript " src ="js/ace/src-min-noconflict/ace.js " charset ="utf-8 "> </ script >
59+
5760< script type ="text/javascript " src ="js/opt-frontend-common.js "> </ script >
5861< script type ="text/javascript " src ="js/opt-office-mix.js "> </ script >
5962< link rel ="stylesheet " href ="css/opt-frontend.css "/>
You can’t perform that action at this time.
0 commit comments