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

feat: Find in Editor #295

Draft
wants to merge 18 commits into
base: main
Choose a base branch
from
Draft

feat: Find in Editor #295

wants to merge 18 commits into from

Conversation

tom-ludwig
Copy link
Member

Description

Related Issues

  • #ISSUE_NUMBER

Checklist

  • I read and understood the contributing guide as well as the code of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

@austincondiff austincondiff changed the title feat: Search in Document feat: Find in Editor Mar 16, 2025
thecoolwinter and others added 7 commits March 16, 2025 11:11
…hen looping find results or submitting when there is no result. Commented emphasize logic back in.
- If the users cursor is in view, the highlighted item will be next to
  the cursor
- If the users cursor is out of view, we'll highlight the closed item to
  the visibe area
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.

3 participants