Deleting profile on "Launch Options" tab does not deselect it on "News" tab

The bug

Deleting a profile on the "Launch Options" tab does not deselect it on the "News" tab.
When pressing "Play" on the "News" tab the deleted profile is added again.

Expected would be that the deleted profile was deselected.

How to reproduce

1. Create a profile
2. Select it on the "News" tab
3. Delete the profile on the "Launch Options" tab
4. Switch back to the "News" tab
   → The deleted profile is still selected; playing it adds the profile again