On Windows, removing a server definition from settings.json doesn't remove it from the list of Recent servers

intersystems / language-server

Repository for the VS Code Language Server

Other

16 stars 6 forks source link

Closed isc-solon closed 11 months ago

isc-solon commented 11 months ago

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?

isc-bsaviano commented 11 months ago

@isc-solon I think you meant to post this on the server manager repository (https://github.com/intersystems-community/intersystems-servermanager)

isc-solon commented 11 months ago

Thanks Brett. I thought I did post this on the other repository! It's there now.