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

Search editor go to location improvements #135227

Merged
merged 3 commits into from
Oct 26, 2021
Merged

Search editor go to location improvements #135227

merged 3 commits into from
Oct 26, 2021

Commits on Oct 17, 2021

  1. Search editor go to location improvements 

    - Added option to go to and select the match
- Fixed cursor placement with initial whitespace
    @ssigwart
    ssigwart committed Oct 17, 2021
    Configuration menu
    Copy the full SHA
    657964d View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2021

  1. Remove microsoft#128927 changes

    @ssigwart
    ssigwart committed Oct 26, 2021
    Configuration menu
    Copy the full SHA
    d94b475 View commit details
    Browse the repository at this point in the history

  2. Fix up seprartor logic

    Jackson Kearl committed Oct 26, 2021
    Configuration menu
    Copy the full SHA
    cb57abb View commit details
    Browse the repository at this point in the history