Skip to content

Add option to skip source link and embedded source#63089

Merged
davidwengier merged 1 commit intodotnet:mainfrom
davidwengier:OptionToDisableSourceLink
Jul 31, 2022
Merged

Add option to skip source link and embedded source#63089
davidwengier merged 1 commit intodotnet:mainfrom
davidwengier:OptionToDisableSourceLink

Conversation

@davidwengier
Copy link
Copy Markdown
Member

Fixes #59717

Now the experience can be fully tailored:

GoToDefOptions

@davidwengier davidwengier requested a review from a team as a code owner July 30, 2022 03:57
@ghost ghost added the Area-IDE label Jul 30, 2022
@davidwengier davidwengier enabled auto-merge (squash) July 31, 2022 00:17
@davidwengier
Copy link
Copy Markdown
Member Author

/azp run

@azure-pipelines
Copy link
Copy Markdown

Azure Pipelines successfully started running 4 pipeline(s).

@davidwengier davidwengier merged commit 255e967 into dotnet:main Jul 31, 2022
@ghost ghost added this to the Next milestone Jul 31, 2022
@davidwengier davidwengier deleted the OptionToDisableSourceLink branch July 31, 2022 21:02
@dibarbet dibarbet modified the milestones: Next, 17.4 P2 Sep 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Provide option to disable Source Link for Go To Definition

3 participants