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).