(ignore_gui_update)
| 430 | } |
| 431 | |
| 432 | update_scale_domain(ignore_gui_update) { |
| 433 | // Call the base class function to update the scale. |
| 434 | super.update_scale_domain(); |
| 435 | if (ignore_gui_update !== true) { |
| 436 | this.selected_changed(); |
| 437 | } |
| 438 | } |
| 439 | |
| 440 | selected_changed() { |
| 441 | if (this.brushing) { |
nothing calls this directly
no test coverage detected