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

Toggle all polygons menu with shortcuts #1381

Merged
merged 3 commits into from
Dec 30, 2023

Conversation

wkentaro
Copy link
Owner

@wkentaro wkentaro commented Dec 30, 2023

Opening new PR since I somehow couldn't push to the author branch.

Close #1360

Thanks @michaelitvin for contribution.

@wkentaro wkentaro self-assigned this Dec 30, 2023
@wkentaro wkentaro added the feature pr label Dec 30, 2023
@wkentaro wkentaro force-pushed the toggle_all_polygons_menu_with_shortcuts branch from 7bc0ee1 to 6e8bc2d Compare December 30, 2023 08:44
@wkentaro wkentaro merged commit c0330d4 into main Dec 30, 2023
6 checks passed
@wkentaro wkentaro deleted the toggle_all_polygons_menu_with_shortcuts branch December 30, 2023 09:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant