Ignore some diagnostics - Githubissues

AndroidIDEOfficial / AndroidIDE

AndroidIDE is an IDE for Android to develop full featured Android apps.

https://m.androidide.com

GNU General Public License v3.0

2.09k stars 250 forks source link

Ignore some diagnostics #1774

Open nuuull opened 3 months ago

nuuull commented 3 months ago

Issue Checklist

[X] I confirm that this feature request has not been previously suggested.
[X] I agree to follow the project's code of conduct.
[X] I have checked and verified that I am using the latest version of AndroidIDE from GitHub or F-Droid.

Additional terms

[X] I understand that feature requests are subject to evaluation and may not be implemented immediately.
[X] I agree to provide additional details if needed for a clearer understanding of the requested feature.

Feature description

Expand the diagnostic feature by allowing us to ignore some diagnostics.

Use Case

Based on user preference for example: Deprecated or unused args won't be diagnosed thus it wont appear in the editor and diagnostic tab.

Benefits

For users that don't want to get too many squiggly lines in the editor as well as for users that refused to update their code to non-deprecated ones.