Label of deleted ports is not always deleted from diagrams
Under certain circumstances, the label a port remains visible in a component diagram after the port has been deleted.
Steps to reproduce:
- Create a component with one port.
- Double click the component to open an editor tab for it.
- Switch back to the tab with the component from step 1 and delete the port there.
- Switch to the tab from step 2
Expected behaviour: The port graphics and its label are removed from the editor.
Actual behaviour: Only the port graphics is removed, the label is still there (see the attached screenshot).
(from redmine: issue id 3999, created on 2020-04-11, closed on 2020-04-14)