Skip to content

fix / #119 fixed warnings stay until file is closed if all warnings in file are fixed - #122

Open
davidramnero wants to merge 1 commit into
mainfrom
fix/#119-fixed-warnings-stay-until-file-is-closed-if-all-warnings-in-file-are-fixed
Open

davidramnero wants to merge 1 commit into
mainfrom
fix/#119-fixed-warnings-stay-until-file-is-closed-if-all-warnings-in-file-are-fixed

Conversation

@davidramnero

Copy link
Copy Markdown
Collaborator

kudos to @alearq for report, reproduction steps and suggested fix: #119

I have reproduced the error and verified that the fix works.

@davidramnero
davidramnero requested a review from danmar October 12, 2026 19:37
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.

Fixed warnings stay in Problems until the file is closed, when the file has no warnings left

1 participant