(checkBox)
| 377 | |
| 378 | // Called when a stream's checkbox is selected/unselected. |
| 379 | function checkStream(checkBox) { |
| 380 | // reload data |
| 381 | parseResponse(json); |
| 382 | } |
| 383 | |
| 384 | // Redraws edges |
| 385 | function redrawStreams() { |
nothing calls this directly
no test coverage detected