VsRocq extension — Search in "Rocq Goals" panel not working in Cursor

Support Bug Reports
1

Where does the bug appear (feature/product)?

Cursor IDE

Describe the Bug

The search functionality in the “Rocq Goals” panel provided by the VsRocq extension does not work in Cursor, but works correctly in VS Code.

Steps to Reproduce

  1. Install the VsRocq extension in Cursor.
  2. Open a Coq/Rocq project and navigate to a .v file.
  3. Open the “Rocq Goals” panel.
  4. Try to use the search tab/feature within the Rocq Goals panel.

Operating System

MacOS

Version Information

Version: 2.6.20
VSCode Version: 1.105.1
Commit: b29eb4ee5f9f6d1cb2afbc09070198d3ea6ad760
Date: 2026-03-17T01:50:02.404Z (5 days ago)
Build Type: Stable
Release Track: Default
Electron: 39.8.1
Chromium: 142.0.7444.265
Node.js: 22.22.1
V8: 14.2.231.22-electron.0
OS: Darwin arm64 25.3.0

Does this stop you from using Cursor

No - Cursor works, but with this issue

4

Hey, this is a known issue. Find Ctrl+F in extension webview panels doesn’t work in Cursor, even though it works fine in VS Code. It affects all extensions that use webviews, not just VsRocq.

It was reported earlier here: Webview Ctrl+F / Search Highlight Still Not Working (Extension Developer Report)

The team is aware, but there’s no ETA for a fix yet. Your report helps with prioritization.

5

A post was merged into an existing topic: Webview Ctrl+F / Search Highlight Still Not Working (Extension Developer Report)