Removing Docs doesn't remove the option to add them

Bug Reports
1

TLDR Summary: Removed docs cannot be recreated with the same name, and still available as a choice under @Docs in context

Hi,

I’m having some trouble with the Docs feature.
I’ve added custom Docs, and shared it with my team, later I realized I put in the wrong prefix, so I clicked on Delete in Cursor settings.
The problem is, it didn’t really disappear, it did from the list in the settings, but it can still be added to the context when typing @Docs, and I also cannot add a new one with the same name, since it says it already exists.

Reproduction:

  1. Go to Cursor settings → Features.
  2. Under Docs click on “Add new doc”.
  3. In the window appearing enter any URL press enter.
  4. In the next window appearing give it a name, and turn on “SHARE WITH TEAM” and press confirm.
  5. Back in Cursor settings under Docs click on the Trash icon and delete the docs, and make sure you don’t see it under the Docs list.
  6. Repeat steps 1-4, with the exact same name
  7. You will get the following error: “The name is already taken. Please choose a different name.”

I’m using Windows 11 with WSL (Ubuntu)
Cursor Build:

Version: 0.45.15 (user setup)
VSCode Version: 1.96.2
Commit: 73dd83bb6f8e3a3704ad8078a8e455ac6d4260d0
Date: 2025-02-22T10:19:07.356Z
Electron: 32.2.6
Chromium: 128.0.6613.186
Node.js: 20.18.1
V8: 12.8.374.38-electron.0
OS: Windows_NT x64 10.0.26100

image
image536×253 5.47 KB

2

Hey, please send an email to hi@cursor.com, and our managers will help you.

3

Reported via email a couple days ago, haven’t gotten any response yet, I assume because of the other bugs going on with the version, wanted to update it’s still reproducing in 0.46.6