(msg)
| 73 | if (!window.performance || !performance.now) {window.performance = {now:Date.now}} |
| 74 | function tic () {tictime = performance.now()} |
| 75 | function toc(msg) { |
| 76 | var dt = performance.now()-tictime; |
| 77 | console.log((msg||'toc') + ": " + dt + "ms"); |
| 78 | } |
| 79 | |
| 80 | // Add syntax highlihjting to the textarea |
| 81 | var editor = CodeMirror.fromTextArea(commandsElm, { |
no outgoing calls
no test coverage detected