Skip to content

Fix top-level user menu are not updated - #1680

Merged
cyanzhong merged 1 commit into
mainfrom
develop
Aug 11, 2026
Merged

Fix top-level user menu are not updated#1680
cyanzhong merged 1 commit into
mainfrom
develop

Conversation

@cyanzhong

Copy link
Copy Markdown
Contributor

No description provided.

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

Updates top-level user-defined extension menu items when the Extensions menu refreshes.

Changes:

  • Invokes user-defined menu state updates for the main Extensions menu.

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@cyanzhong
cyanzhong merged commit cd1c6ed into main Aug 11, 2026
2 checks passed
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.

2 participants