Skip to content

Add 'nameSpan' property to NavigationTree#24698

Merged
1 commit merged into
masterfrom
nameSpan
Jun 7, 2018
Merged

Add 'nameSpan' property to NavigationTree#24698
1 commit merged into
masterfrom
nameSpan

Conversation

@ghost
Copy link
Copy Markdown

@ghost ghost commented Jun 5, 2018

Fixes #15109

@mjbvz Please verify that this was what you wanted. Note that implementations were handled in #24537.

@ghost ghost requested a review from mjbvz June 5, 2018 18:26
Copy link
Copy Markdown
Contributor

@mjbvz mjbvz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks!

@ghost ghost merged commit 8721701 into master Jun 7, 2018
@ghost ghost deleted the nameSpan branch June 7, 2018 19:44
@microsoft microsoft locked as resolved and limited conversation to collaborators Oct 21, 2025
This pull request was closed.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants