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.

Sign up for GitHub

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

Jump to bottom

add replace #2553

Merged

dzhou121 merged 4 commits into master from replace

Aug 18, 2023

Collaborator

dzhou121 commented Aug 18, 2023 •

edited

Loading

Added an entry to CHANGELOG.md if this change could be valuable to users


          add replace

4821d7f

Collaborator

panekj commented Aug 18, 2023

Fixes #1223

panekj added this to the Next release milestone

dzhou121 added 3 commits

August 18, 2023 20:37


          focus back to workbench when pointer down on search

b4fa58f


          update changelog

57db11c


          update changelog

380cdd9

dzhou121 merged commit 9b064f5 into master

4 checks passed

dzhou121 deleted the replace branch

August 18, 2023 19:48

MinusGix added the A-editor label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels