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

Investigate Extensions having settings in Dev Home #701

Closed
Tracked by #989
joadoumie opened this issue May 23, 2023 · 0 comments · Fixed by #1530
Closed
Tracked by #989

Investigate Extensions having settings in Dev Home #701

joadoumie opened this issue May 23, 2023 · 0 comments · Fixed by #1530
Labels
Area-Extensibility Related to extensions Area-Settings Related to settings and customizability ⚙️ Issue-Feature New feature or request Resolution-Fix-Available Available in a release
Milestone
Dev Home v0.5

Comments

@joadoumie
Copy link
Contributor

Suggested new feature or improvement

Task to investigate what it could look like for extensions to be able to plug-in to a settings framework in Dev Home.

Scenario

Users could have more control of how extensions interact with Dev Home.

Additional details

No response
@joadoumie joadoumie added the Issue-Feature New feature or request label May 23, 2023
@microsoft-github-policy-service microsoft-github-policy-service bot added the Needs-Triage New issue that the core contributors need to triage label May 23, 2023
@krschau krschau added Area-Extensibility Related to extensions Area-Settings Related to settings and customizability ⚙️ labels May 23, 2023
@joadoumie joadoumie mentioned this issue May 31, 2023
Open
@cinnamon-msft cinnamon-msft removed the Needs-Triage New issue that the core contributors need to triage label Jul 19, 2023
@krschau krschau mentioned this issue Oct 16, 2023
Merged
3 tasks
@microsoft-github-policy-service microsoft-github-policy-service bot added the In-PR This issue has a related PR label Oct 16, 2023
@krschau krschau added this to the Dev Home v0.5 milestone Oct 16, 2023
@krschau krschau added Resolution-Fix-Available Available in a release and removed In-PR This issue has a related PR labels Oct 16, 2023
@krschau krschau closed this as completed Oct 17, 2023
@krschau krschau mentioned this issue Nov 14, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Area-Extensibility Related to extensions Area-Settings Related to settings and customizability ⚙️ Issue-Feature New feature or request Resolution-Fix-Available Available in a release
Projects
None yet
Milestone
Dev Home v0.5
Development

Successfully merging a pull request may close this issue.

SettingsProvider microsoft/devhome
3 participants
@krschau @cinnamon-msft @joadoumie