Skip to content
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

Interaction between Search by types and Construct #1830

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

Conversation

xvw
Copy link
Collaborator

@xvw xvw commented Sep 19, 2024

This patch (on top of #1828) introduce an interactive way to search directly from a buffer.

  • from the Merlin protocol, search introduces a new entry in the resultset : constructible which is a string that represent the function filled with holes (so it can be used in every other client)
  • A reimplementation of merlin-search that ask for a query if nothing is selected but can use the region as a query and replace the region with the function and holes. Demonstration below

construct-by-type

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.

1 participant