()
| 300 | } |
| 301 | |
| 302 | function reset() { |
| 303 | maximizeDock(); |
| 304 | $("#run-button").prop("disabled", false); |
| 305 | editor.setValue(originalCode); |
| 306 | } |
| 307 | |
| 308 | function toggleMinimize() { |
| 309 | var dock = document.querySelector("footer#dock"); |
nothing calls this directly
no test coverage detected