()
| 390 | return result |
| 391 | } |
| 392 | function getTreeSitterD3Option(){ |
| 393 | var result=JSON.parse(JSON.stringify(TreeSitter.types)) |
| 394 | for(let op in result){ |
| 395 | result[op]=document.getElementById('d3tsop_'+op).checked |
| 396 | } |
| 397 | result['all']=document.getElementById('d3tsop_all').checked |
| 398 | return result |
| 399 | } |
| 400 | function scaleD3(){ |
| 401 | gD3Scale++; |
| 402 | document.getElementById("D3Diagram").style.width=`${100*gD3Scale}%` |