I can create 10 desktops which are automatically named “Desktop [1-10]“, delete a few desktops in the middle and have my 3 remaining desktops be named “Desktop [1,4,7]“ while they are represented in the desktop pager widget and other similar places using values of the desktop number [1,2,3] creating inconsistency and confusion while navigating the UI
I propose that by default, desktop names are unassigned and the software detects that and displays the desktop number in the same format as it does today without actually setting the value of $Desktop_Name.
That does sound confusing. I don’t really use multiple desktops so I’ve not seen this issue. Can you show me where they are incorrectly called Desktop 1, 2, or 3, when you’re expecting Desktop 1, 4, or 7?
Assuming you are on the default config, press windows+w, then click the plus icon at top of the screen, delete windows in the middle, press the plus again to see how things are handled