(ge)
| 235 | }; |
| 236 | |
| 237 | const traverse = function (ge) { |
| 238 | const rv = []; |
| 239 | |
| 240 | (function recurse(ge) { |
| 241 | rv.push(ge); |
| 242 | if ("children" in ge) |
| 243 | for (const child of ge.children) recurse(child); |
| 244 | })(ge); |
| 245 | |
| 246 | return rv; |
| 247 | }; |
| 248 | |
| 249 | const makeCommandWidget = function (i) { |
| 250 | let html = |