()
| 416 | } |
| 417 | |
| 418 | relayout() { |
| 419 | this.set_ranges(); |
| 420 | this.compute_view_padding(); |
| 421 | //TODO: The call to draw has to be changed to something less |
| 422 | //expensive. |
| 423 | this.draw(); |
| 424 | } |
| 425 | |
| 426 | private indicesToCellNums(indices: [number, number][]): number[] { |
| 427 | if (indices === null || indices === undefined) { |
nothing calls this directly
no test coverage detected