(frames)
| 21 | }); |
| 22 | |
| 23 | function addToggleFrameTraceback(frames) { |
| 24 | frames.forEach((frame) => { |
| 25 | frame.addEventListener("click", () => { |
| 26 | frame.getElementsByTagName("pre")[0].parentElement.classList.toggle("expanded"); |
| 27 | }); |
| 28 | }) |
| 29 | } |
| 30 | |
| 31 | |
| 32 | function wrapPlainTraceback() { |