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.

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

Hide disabled widgets #3253

Merged
merged 2 commits into from
Jun 19, 2024
Merged

Hide disabled widgets #3253

merged 2 commits into from
Jun 19, 2024

Conversation

krschau
Copy link
Collaborator

@krschau krschau commented Jun 18, 2024

Summary of the pull request

Disabling an extension should hide any widgets the extension provides, but not delete them. We should both hide any applicable widgets already pinned, and hide the same widgets from the list of ones available to pin.

References and relevant issues

Detailed description of the pull request / Additional comments

Validation steps performed

PR checklist

@AmelBawa-msft AmelBawa-msft added the Needs-Second Pull request that needs another approval label Jun 18, 2024
@krschau krschau removed the Needs-Second Pull request that needs another approval label Jun 19, 2024
@krschau krschau merged commit b9c628e into main Jun 19, 2024
4 checks passed
@krschau krschau deleted the user/krschau/hide-disabled-widgets branch July 25, 2024 15:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Disabling an extension should remove widget visibility
4 participants