* toggle traceback types on click.
(elements)
| 196 | * toggle traceback types on click. |
| 197 | */ |
| 198 | function addToggleTraceTypesOnClick(elements) { |
| 199 | for (let i = 0; i < elements.length; i++) { |
| 200 | elements[i].addEventListener("click", () => { |
| 201 | document.querySelector("div.traceback").classList.toggle("hidden"); |
| 202 | document.querySelector("div.plain").classList.toggle("hidden"); |
| 203 | }); |
| 204 | elements[i].style.cursor = "pointer"; |
| 205 | document.querySelector("div.plain").classList.toggle("hidden"); |
| 206 | } |
| 207 | } |
| 208 | |
| 209 | function createConsole() { |
| 210 | const consoleNode = document.createElement("pre"); |