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

Server Group and server tree settings are not searchable #22756

Closed
cheenamalhotra opened this issue Apr 17, 2023 · 0 comments · Fixed by #23536
Closed

Server Group and server tree settings are not searchable #22756

cheenamalhotra opened this issue Apr 17, 2023 · 0 comments · Fixed by #23536
Assignees
@aasimkhan30
Labels
Area - Object Explorer Bug Triage: Needed
Milestone
July 2023 Release

Comments

@cheenamalhotra
Copy link
Member

  • Azure Data Studio Version: Latest, Insiders
  • OS Version: Windows 11

It appears, below settings are not included in the settings hierarchy and when searching, do not show up in results with their complete name or ID:

  • serverGroup.autoExpand
  • serverGroup.colors
  • serverTree.nodeExpansionTimeout
  • serverTree.useAsyncServerTree

Expected:
When searching a setting with their ID - should show up in results with the hierarchy it belongs to.

Discussed with @aasimkhan30 offline, opening issue to track progress on the same.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@aasimkhan30 aasimkhan30

Labels
Area - Object Explorer Bug Triage: Needed
Projects
None yet
Milestone
July 2023 Release
Development

Successfully merging a pull request may close this issue.

Fixing setting layout in OE microsoft/azuredatastudio
2 participants
@aasimkhan30 @cheenamalhotra