Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

only capture enter if something was selected in completions #3047

Merged
merged 1 commit into from
May 31, 2019

Conversation

bwindels
Copy link
Contributor

@bwindels bwindels commented May 31, 2019

@bwindels bwindels requested a review from a team May 31, 2019 13:06
Copy link
Collaborator

@jryans jryans left a comment

Choose a reason for hiding this comment

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

Makes sense! 😁

@bwindels bwindels merged commit 2f98d0e into develop May 31, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants