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

fix search integration issues #511

Merged
merged 3 commits into from
Oct 1, 2023
Merged

fix search integration issues #511

merged 3 commits into from
Oct 1, 2023

Commits on Oct 1, 2023

  1. fix: the search service doesn't scroll to the position automatically

    @LucasXu0
    LucasXu0 committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    7b2a4be View commit details
    Browse the repository at this point in the history

  2. chore: rename replaceFlag to showReplaceMenu

    @LucasXu0
    LucasXu0 committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    dfc0d74 View commit details
    Browse the repository at this point in the history

  3. feat: make find and replace feature more customziable

    @LucasXu0
    LucasXu0 committed Oct 1, 2023
    Configuration menu
    Copy the full SHA
    7391928 View commit details
    Browse the repository at this point in the history