Skip to content

Added code lens warning#73

Merged
lzoghbi merged 2 commits intomainfrom
bug_fixes
Apr 30, 2026
Merged

Added code lens warning#73
lzoghbi merged 2 commits intomainfrom
bug_fixes

Conversation

@muhammad-hassnain
Copy link
Copy Markdown
Collaborator

Addressed #70 , if code lens is disabled, it will show a popup window and a button to enable it.

@cdstanford cdstanford requested a review from lzoghbi April 29, 2026 22:34
@lzoghbi
Copy link
Copy Markdown
Contributor

lzoghbi commented Apr 30, 2026

Looks good overall -- thanks @muhammad-hassnain! A small comment: this check fires a warning only when the extension is activated. However, settings might change at any moment, and we might miss them if they happen after the extension's activation.

It might be better IMO to perform this check when the audit commands (Audit Crate, Audit Chain) are invoked.

@muhammad-hassnain
Copy link
Copy Markdown
Collaborator Author

Hi, I have updated to check each time Audit Crate or Audit Chain command is invoked.

Copy link
Copy Markdown
Contributor

@lzoghbi lzoghbi left a comment

Choose a reason for hiding this comment

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

LGTM! thank you!

@lzoghbi lzoghbi merged commit 2501f0d into main Apr 30, 2026
5 of 6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants