()
| 164 | } |
| 165 | |
| 166 | reset() { |
| 167 | this.rect.attr('x', 0).attr('width', 0); |
| 168 | this.model.set('selected', null); |
| 169 | this.update_mark_selected(undefined, undefined); |
| 170 | this.touch(); |
| 171 | } |
| 172 | |
| 173 | update_scale_domain(ignore_gui_update) { |
| 174 | // Call the base class function to update the scale. |
no test coverage detected