Skip to content

Reveal Diagnostics from CodeLens#79

Merged
rcosta358 merged 5 commits into
mainfrom
reveal-diagnostic
May 18, 2026
Merged

Reveal Diagnostics from CodeLens#79
rcosta358 merged 5 commits into
mainfrom
reveal-diagnostic

Conversation

@rcosta358
Copy link
Copy Markdown
Collaborator

@rcosta358 rcosta358 commented May 16, 2026

This PR adds a diagnostic CodeLens action that opens the LiquidJava webview, switches to the diagnostics explorer view, scrolls to the selected diagnostic, and highlights it. This also applies for failing refinements in the context debugger.

This allows users to easily map errors in the editor to their corresponding ones in the webview.

Screen.Recording.2026-05-16.at.20.06.40.mp4

@rcosta358 rcosta358 self-assigned this May 16, 2026
@rcosta358 rcosta358 added the enhancement New feature or request label May 16, 2026
@rcosta358 rcosta358 requested a review from CatarinaGamboa May 16, 2026 19:12
Copy link
Copy Markdown
Collaborator

@CatarinaGamboa CatarinaGamboa left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Cool! Quick question about the video, the scrolling only makes sense when we have the "show all errors" rather than the per file errors, right? Ig my question is more if it works for both the per file errors and all errors

@rcosta358
Copy link
Copy Markdown
Collaborator Author

If the diagnostic is not visible because we are only showing the diagnostics for the current file, we automatically set showAllDiagnostics to true.

Comment on lines +286 to +289
const isVisibleInCurrentFile = showAllDiagnostics || !target.file || target.file.toLowerCase() === currentFile?.toLowerCase();
if (!isVisibleInCurrentFile) {
showAllDiagnostics = true;
}
Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Here.

@rcosta358 rcosta358 changed the base branch from update-context-debugger to main May 18, 2026 14:17
@rcosta358 rcosta358 merged commit 3e3c65d into main May 18, 2026
@rcosta358 rcosta358 deleted the reveal-diagnostic branch May 18, 2026 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants