()
| 411 | } |
| 412 | |
| 413 | convert_and_save() { |
| 414 | const e = d3GetEvent(); |
| 415 | if (!e.sourceEvent) { |
| 416 | return; |
| 417 | } |
| 418 | if (!e.selection) { |
| 419 | this.empty_selection(); |
| 420 | } else { |
| 421 | const pixel_extent = e.selection; |
| 422 | const extent = pixel_extent |
| 423 | .map(this.scale.invert.bind(this.scale)) |
| 424 | .sort(sort); |
| 425 | |
| 426 | this.update_mark_selected(pixel_extent); |
| 427 | this.set_selected('selected', this.scale.model.typedRange(extent)); |
| 428 | this.touch(); |
| 429 | } |
| 430 | } |
| 431 | |
| 432 | update_scale_domain(ignore_gui_update) { |
| 433 | // Call the base class function to update the scale. |
nothing calls this directly
no test coverage detected