()
| 382 | return result |
| 383 | } |
| 384 | function getESTreeD3Option(){ |
| 385 | var result=JSON.parse(JSON.stringify(ESTREEJS.types)) |
| 386 | for(let op in result){ |
| 387 | result[op]=document.getElementById('d3esop_'+op).checked |
| 388 | } |
| 389 | result['all']=document.getElementById('d3esop_all').checked |
| 390 | return result |
| 391 | } |
| 392 | function getTreeSitterD3Option(){ |
| 393 | var result=JSON.parse(JSON.stringify(TreeSitter.types)) |
| 394 | for(let op in result){ |