On Windows, removing a server definition from settings.json doesn't remove it from the list of Recent servers
isc-solon opened this issue · comments
If I remove a server definition from settings.json:
- On Mac connected to IRIS Ubuntu, it immediately disappears from the Recent servers list.
- On Windows connected locally, the deleted server remains in the list.
Is there a place on Windows I can go and manually remove the deleted server from the list?
Is the zombie server name in the Recent tree perhaps one of the default~xxx
ones?
It is default~iris
, leftover from an earlier version. Although I was able to delete the 3 default~xxx
ones from settings.json on the Mac and they all disappeared.
Can you tolerate the zombie until it falls off the Recents list when you have connected to 8 other servers more recently? The list is persisted in a storage area VS Code provides to extension authors. On VS Code Desktop this uses a SQLite database file, so it's not amenable to manual manipulation.
I can tolerate a great many things, including this. So the different behavior on Mac vs Windows is expected?
The reason for wanting to remove it is to provide a no-leftovers clean training environment. We don't want students to accidentally pick that server, since we have a new "iris" server set up for them. Should there be a "clear recent servers" feature?
Please download this dev build zip, extract the VSIX, install it and try this:
Now available in 3.4.3-beta.3
Confirmed that it worked! Sometimes in life you get unexpected enhancements.