Tab remains in UI after deletion

[per1234]

Describe the bug

Arduino sketches may consist of multiple files, which are shown in the Arduino IDE as tabs. Secondary sketch files can be deleted via the IDE's tab management menu.

🐛 When a secondary tab is deleted via the IDE, the tab stays in the editor. The only way to remove this tab from the UI is reopening the sketch.

To Reproduce

1. Click the downward pointing triangle button on the right side of the tab bar.
2. Select "New Tab" from the menu.
3. In the "Name for new file" field, type foo.
4. Click the OK button.
   The sketch will now contain a "foo.ino" tab.
5. Click the downward pointing triangle button on the right side of the tab bar.
6. Select "Delete" from the menu.
7. Click the OK button.

🐛 The "foo.ino" tab will still be shown, only with a "(deleted)" suffix.

🐛 The IDE UI does not provide any way to remove the ghost tab.

Expected behavior

The tab is removed from the UI once deleted, as is done by the classic Arduino IDE.

Desktop

Original report

• OS: Windows 10
• Version: 2.0.0-rc1-snapshot.f0d9894
  Date: 2021-11-30T16:25:41.414Z
  CLI Version: 0.20.1 [abb21449]

Last checked with

• OS: Windows 10
• Version: 2.0.0-rc3-snapshot-2f9bf86
  Date: 2022-02-11T14:52:06.341Z
  CLI Version: 0.21.0 [10107d24]