Problem summary The last deleted Channel can still be Added as a New Export Item in the Export Manager, and it causes a crash on export.
Steps to reproduce
Launch Mari and open any Project, such as the Example Project.
Open the Export Manager and add all the Channels as Export Items (if they are not added already).
Close the Export Manager.
Delete a Channel node. Alternatively, delete a Channel through the Channels palette.
Open the Export Manager. Notice that the deleted Channel has been correctly deleted from the current list of Export Items.
Select Add New Export Items. Notice that the deleted Channel still appears here.
Add the deleted Channel as an Export Item.
Export the deleted Channel by selecting Export All.
Expected behaviour Deleted Channels shouldn't be available in the Add Export Items menu.
Actual behaviour The last deleted Channel is available in the Add Export Items menu, and it can be added for export. When the user tries to export it, Mari crashes. It's worth emphasising that only the last deleted Channel still appears in the Add New Export Items. For example, if you delete two Channel nodes at once, only one of them will still appear in the Add New Export Items menu.
Workaround Unknown.
Reproduced by support This bug has been reproduced in: Mari 7.0v2 - Windows 10 - Rocky 9 Mari 5.0v4 - Windows 10 - CentOS 7.9 Mari 4.8v4 - Windows 10 - CentOS 7.9 - regression
Unable to reproduce bug in: Mari 5.0v3/4.8v3 - Windows 10 - CentOS 7.9
Earliest version tested Mari 5.0v3/4.8v3 - This issue doesn't appear in this version and has regressed