Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ide analyzer options #58765

Merged
merged 3 commits into from
Feb 11, 2022
Merged

Ide analyzer options #58765

merged 3 commits into from
Feb 11, 2022

Conversation

tmat
Copy link
Member

@tmat tmat commented Jan 11, 2022 •
edited
Loading

Moves options that are not defined in editorconfig but used in analyzers to IdeOptions accessible from WorkspaceAnalyzerOptions.

Makes SymbolSearchOptions global.

Depends on #58747

@ghost ghost added the Needs UX Triage label Jan 11, 2022
@tmat tmat mentioned this pull request Jan 11, 2022
Closed
73 tasks
@tmat tmat force-pushed the IdeAnalyzerOptions branch from 0cc8894 to c29aa76 Compare January 18, 2022 18:56
@tmat tmat force-pushed the IdeAnalyzerOptions branch from c29aa76 to f493e97 Compare February 9, 2022 22:09
@tmat tmat marked this pull request as ready for review February 9, 2022 22:15
@tmat tmat requested a review from a team as a code owner February 9, 2022 22:15
@runfoapp runfoapp bot mentioned this pull request Feb 10, 2022
Closed
@tmat tmat mentioned this pull request Feb 10, 2022
Merged
4 tasks
@tmat tmat force-pushed the IdeAnalyzerOptions branch from f078ffd to 55ed7aa Compare February 10, 2022 22:45
@tmat tmat merged commit 040d4e8 into dotnet:main Feb 11, 2022
@ghost ghost added this to the Next milestone Feb 11, 2022
@tmat tmat deleted the IdeAnalyzerOptions branch February 11, 2022 01:30
@tmat tmat mentioned this pull request Feb 11, 2022
Merged
1 task
@RikkiGibson RikkiGibson modified the milestones: Next, 17.2.P2 Mar 1, 2022
@ryzngard ryzngard added UX Review Not Required UX Review Not Required and removed Needs UX Triage labels Apr 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JoeRobich JoeRobich JoeRobich approved these changes

Assignees
No one assigned
Labels
Area-IDE UX Review Not Required UX Review Not Required
Projects
None yet
Milestone
17.2.P2
Development

Successfully merging this pull request may close these issues.
4 participants
@tmat @JoeRobich @ryzngard @RikkiGibson