Clear all problems in the 'Problems' pane with a button

Please add a button in the `Problems` pane that allows the developer to clear all items in there. **Following discussions from #15524, #29169, #66343 and #50448.** Currently we see problems from different sources (linters, tasks, etc) and they sometimes stay there after the problem or the source file is gone, e.g. problems in an unsaved buffer, in files that were renamed, or files removed when we switch Git branches. More often than not I have a bunch of problems and the only way to clear that pane is to restart the entire editor.

Posted by darlanalves on Jan 23, 2019, 11:58 AM

Tags

• github (Other)

Related issues

• struct's lifetime requirements can be bypassed via covariant field assignment
• Proposal to Reorganize the Moderation Team and Review Moderation Policies
• Progressive FPS degradation appears to be related to dota2.com — blocking the domain prevents the performance loss
• proposal: container/...: generic collection types
• Better Custom Endpoint BYOK
• A concrete policy for backward compatibility until Godot 5.0