Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add egui::Modifiers::contains #2989

Merged
merged 1 commit into from
May 15, 2023
Merged

Add egui::Modifiers::contains #2989

merged 1 commit into from
May 15, 2023

Conversation

Wumpf
Copy link
Collaborator

@Wumpf Wumpf commented May 15, 2023

No description provided.

@Wumpf Wumpf mentioned this pull request May 15, 2023
Merged
2 tasks
@Wumpf Wumpf added the egui label May 15, 2023
@emilk emilk changed the title Add egui::Modifiers::contains Add egui::Modifiers::contains May 15, 2023
@emilk emilk merged commit ff8e482 into master May 15, 2023
@emilk emilk deleted the modifier-contains branch May 15, 2023 13:10
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@emilk emilk emilk approved these changes

Assignees
No one assigned
Labels
egui
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Wumpf @emilk