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

fix: fix plugin-menu disabled property #76

Merged
merged 4 commits into from
Oct 21, 2023
Merged

Conversation

enpitsuLin
Copy link
Owner

@enpitsuLin enpitsuLin commented Oct 21, 2023

fix #73

@enpitsuLin enpitsuLin self-assigned this Oct 21, 2023
@enpitsuLin
Copy link
Owner Author

there are still problem before this PR was release of upstream Milkdown/milkdown#1130

launch version after upstream fix was release

image

@enpitsuLin enpitsuLin merged commit 9038601 into master Oct 21, 2023
1 check passed
@enpitsuLin enpitsuLin deleted the fix/plugin-menu branch October 21, 2023 03:13
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.

disabled property of menu item is not treated properly?
1 participant