OLD | NEW |
1 /** | 1 /** |
2 * Common JS that talks XHR back to the server and runs the code and receives | 2 * Common JS that talks XHR back to the server and runs the code and receives |
3 * the results. | 3 * the results. |
4 */ | 4 */ |
5 | 5 |
6 | 6 |
7 /** | 7 /** |
8 * All the functionality is wrapped up in this anonymous closure, but we need | 8 * All the functionality is wrapped up in this anonymous closure, but we need |
9 * to be told if we are on the workspace page or a normal try page, so the | 9 * to be told if we are on the workspace page or a normal try page, so the |
10 * workspaceName is passed into the closure, it must be set in the global | 10 * workspaceName is passed into the closure, it must be set in the global |
(...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
137 } | 137 } |
138 | 138 |
139 enableSource.addEventListener('click', sourceClick, true); | 139 enableSource.addEventListener('click', sourceClick, true); |
140 selectedSource.addEventListener('click', sourceClick, true); | 140 selectedSource.addEventListener('click', sourceClick, true); |
141 | 141 |
142 | 142 |
143 var editor = CodeMirror.fromTextArea(code, { | 143 var editor = CodeMirror.fromTextArea(code, { |
144 theme: "default", | 144 theme: "default", |
145 lineNumbers: true, | 145 lineNumbers: true, |
146 matchBrackets: true, | 146 matchBrackets: true, |
| 147 lineWrapping: true, |
147 mode: "text/x-c++src", | 148 mode: "text/x-c++src", |
148 indentUnit: 4, | 149 indentUnit: 4, |
149 }); | 150 }); |
150 | 151 |
151 // Match the initial textarea size. | 152 // Match the initial textarea width, but leave the height alone |
| 153 // The css will automatically resize the editor vertically. |
152 editor.setSize(editor.defaultCharWidth() * code.cols, | 154 editor.setSize(editor.defaultCharWidth() * code.cols, |
153 editor.defaultTextHeight() * code.rows); | 155 null); |
154 | 156 |
155 | 157 |
156 /** | 158 /** |
157 * Callback when there's an XHR error. | 159 * Callback when there's an XHR error. |
158 * @param e The callback event. | 160 * @param e The callback event. |
159 */ | 161 */ |
160 function xhrError(e) { | 162 function xhrError(e) { |
161 endWait(); | 163 endWait(); |
162 alert('Something bad happened: ' + e); | 164 alert('Something bad happened: ' + e); |
163 } | 165 } |
(...skipping 130 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
294 } | 296 } |
295 | 297 |
296 // If loaded via HTML Imports then DOMContentLoaded will be long done. | 298 // If loaded via HTML Imports then DOMContentLoaded will be long done. |
297 if (document.readyState != "loading") { | 299 if (document.readyState != "loading") { |
298 onLoad(); | 300 onLoad(); |
299 } else { | 301 } else { |
300 this.addEventListener('load', onLoad); | 302 this.addEventListener('load', onLoad); |
301 } | 303 } |
302 | 304 |
303 })(); | 305 })(); |
OLD | NEW |