Skip to content

Conversation

droidmonkey
Copy link
Member

@droidmonkey droidmonkey commented Oct 18, 2022

note: I accidently committed this directly to develop and pushed, this PR just adds it to the record for 2.7.2

Testing strategy

Tested on windows

Type of change

  • ✅ Bug fix (non-breaking change that fixes an issue)

* Also fixes the hiding and display of the completion menu to be more natural and less annoying.
* Fixes #7939
@droidmonkey droidmonkey merged commit 82f056e into release/2.7.x Oct 19, 2022
@droidmonkey droidmonkey deleted the fix/tag-completion branch October 19, 2022 11:01
@droidmonkey droidmonkey added the pr: backported Pull request backported to previous release label Oct 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature: Tags pr: backported Pull request backported to previous release ux
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants