Skip to content

Conversation

flang
Copy link
Contributor

@flang flang commented Jun 23, 2023

…simultaneously

Close #64

@flang flang requested review from javier-godoy, mlopezFC and paodb June 23, 2023 20:21
@javier-godoy javier-godoy merged commit a4ad7f3 into master Jun 23, 2023
@javier-godoy javier-godoy deleted the fix-issue-64 branch June 23, 2023 20:24
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.

Releasing shift key deselects current shift-based selection
2 participants