Robin Gareus d37f85f9d2 Emit selection RegionsChanged when region is removed ...

This is required to properly update the selection.
Previously deleting a region did not update selection
markers and other selection displays that depend on
Editor::get_selection_extents (which includes region selection).

This fixes a crash: Select a region (this sets a time-selection).
Delete the region, click on the time-selection markers (red triangles).

2023-09-10 15:25:12 +02:00

40 KiB

Raw Blame History

View Raw