Skip to content

Phase I of #156633 Expose API for extensions to extend find/replace #156796

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.

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

Open
wants to merge 10 commits into
base: main
Choose a base branch
from

Conversation

SonOfLilit
Copy link

As discussed in #156633, and with the blessing of @rebornix , I introduce two parameters to the builtin command editor.actions.findWithArgs that together allow me to write an extension that implements search-as-you-type UX 95% similar to the Find Widget's. (The difference is moveCursor only happens when you first hit Return, vs. also if you start typing and then hit Esc. Otherwise I would advance to the next occurrence every time you type a character, and fixing that would be complex).

Old screenshot, before the API change:

@ghost
Copy link

ghost commented Aug 1, 2022

CLA assistant check
All CLA requirements met.

@SonOfLilit
Copy link
Author

@rebornix "Prevent yarn.lock changes in PRs" seems to be stuck, is that normal?

@rebornix rebornix added this to the August 2022 milestone Aug 2, 2022
@SonOfLilit
Copy link
Author

@rebornix just making sure the CR is pending intentionally, and not just blocked by the "Prevent yarn.lock changes in PRs" action being stuck

@mjbvz mjbvz modified the milestones: August 2022, September 2022 Aug 25, 2022
@rebornix rebornix modified the milestones: September 2022, October 2022 Sep 29, 2022
@rebornix rebornix modified the milestones: October 2022, On Deck Oct 24, 2022
@SonOfLilit
Copy link
Author

Should I keep maintaining this PR? Is it expected to be merged?

@Jacob-Barhak
Copy link

Who is responsible for community approvals here?
Hopefully someone can jump in and close this issue.
My understanding that this was discussed already - wo I wonder what is blocking this PR and how it can be salvaged.

Hopefully there is a solution.

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.

4 participants