()
| 252 | } |
| 253 | |
| 254 | function createInteractiveConsole() { |
| 255 | const target = document.querySelector("div.console div.inner"); |
| 256 | while (target.firstChild) { |
| 257 | target.removeChild(target.firstChild); |
| 258 | } |
| 259 | openShell(null, target, 0); |
| 260 | } |
| 261 | |
| 262 | function handleConsoleSubmit(e, command, frameID) { |
| 263 | // Prevent page from refreshing. |