Describe the problem

I included a library via the menu and somehow this resulted in another tab opening for the same file. When I try to delete the file nothing happens. I've tried to move the sketch to some other folder and then open and that seems to work (after it renames the parent folder), but when I move it back to the original folder the new tab reappears.

I'm on Ubuntu 22.04.1 LTS and the latest stable version of the IDE shown on the website at the time of writing (2.0.3). I also tested on the latest nightly and it occurs there too.

If you need log files or something, please let me know.

To reproduce

I tried reproducing and couldn't. But the issue is still there, even when I open the project on the nightly build.

Expected behavior

Delete closes the tab. Or closing and reopening the ediitor...

Arduino IDE version

2.04-nightly-20221229

Operating system

Linux

Operating system version

22.04.1 LTS

Additional context

The fact that this occurs across builds and after moving things around makes me think this has something to do with some kind of cache or (sketch?) settings file somewhere, but I don't know for sure.

I also remember the save icon being on briefly. I have autosave on, so I'm not sure if this happened before or after the library was included.

Additional reports:

• Selecting sketch file with double-click results in duplicate tabs #656 (comment)
• https://forum.arduino.cc/t/double-tabs-of-same-sketch/1089318
• https://forum.arduino.cc/t/2-0-beta-rc9-duplicate-tabs/1012459/4
• https://forum.arduino.cc/t/2-0-beta-rc9-duplicate-tabs/1012459/5
• https://forum.arduino.cc/t/arduino-ide-2-0-3-duplicate-tab-page/1084561
• https://forum.arduino.cc/t/ide-restarts-during-a-start/1081761
  • Includes screencast and logs
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/1
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/2
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/3
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/4
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/7
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/8
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/9
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/10
• https://forum.arduino.cc/t/ide-2-0-3-double-tabs/1066585/11
• https://forum.arduino.cc/t/new-year-new-problems/1072182
• https://arduino.stackexchange.com/questions/91777/how-to-get-rid-of-the-second-tab-in-arduino-ide-2

Related:

• Previous incarnations of the duplicate tab bug (resolved:
  • Issues:
    • "Go to Definition" results in duplicate tabs when target is in sketch created in previous IDE version #1054
    • Selecting sketch tab via menu results in duplicate tabs #793
    • Tabs also show the path  #665
    • Selecting sketch file with double-click results in duplicate tabs #656
  • PRs:
    • #1054 Fixed widget lookup to eliminate duplicate tabs. #1085
    • Editor manager should be singleton, patched layout restorer to avoid duplicate editor tabs #1024
    • Fix duplicated editor tabs #1012
• Incorrect handling of changed case of sketch file name #482
  • This bug produces a similar fault, but is otherwise unrelated.

Issue checklist

• I searched for previous reports in the issue tracker
• I verified the problem still occurs when using the latest nightly build
• My report contains all necessary details