(net)
| 287 | } |
| 288 | |
| 289 | function netColorChangeHandler(net) { |
| 290 | return (event) => { |
| 291 | settings.netColors[net] = event.target.value; |
| 292 | updateNetColors(); |
| 293 | } |
| 294 | } |
| 295 | |
| 296 | function netColorRightClick(net) { |
| 297 | return (event) => { |
no test coverage detected