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.

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

code editor search #7911

Merged
merged 2 commits into from
Dec 9, 2024
Merged

code editor search #7911

merged 2 commits into from
Dec 9, 2024

Conversation

blancoberg
Copy link
Contributor

@blancoberg blancoberg commented Dec 8, 2024 •
edited
Loading

Code editor search

  • Ctrl + f to open
  • Esc to close
  • Searches for texts, case insensitive
  • Enter to get the next result, or shift + enter for the previous.
  • Selected text gets added to the search textbox

Closes #7903

@blancoberg
code editor search
6863b37 
Code editor search
@blancoberg
add override
a7f2501 
Missed a override
@mkruselj
Copy link
Collaborator

mkruselj commented Dec 9, 2024

Would be nice to have options for whole word and case sensitive search somehow, perhaps!

@blancoberg
Copy link
Contributor Author

blancoberg commented Dec 9, 2024 •
edited
Loading

Would be nice to have options for whole word and case sensitive search somehow, perhaps!

That could be useful indeed.
A switch button for case sensitivity, whole word, buttons for next/previous match and a close button.

@mkruselj mkruselj merged commit 4ceb22b into surge-synthesizer:main Dec 9, 2024
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Lua editor search
2 participants
@blancoberg @mkruselj