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

handle editor.action.rename command for interoperability with VSCode #2249

Closed
wants to merge 8 commits into from
Closed

handle editor.action.rename command for interoperability with VSCode #2249

wants to merge 8 commits into from

Commits on May 9, 2023

  1. handle editor.action.rename command for interoperability with VSCode

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    5c5d79b View commit details
    Browse the repository at this point in the history

  2. unused imports

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    fee60bd View commit details
    Browse the repository at this point in the history

  3. update call sites

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    0a72a47 View commit details
    Browse the repository at this point in the history

  4. test fix

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    e13f25d View commit details
    Browse the repository at this point in the history

  5. don't break public api

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    e808fc8 View commit details
    Browse the repository at this point in the history

  6. add as last argument

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    b46e881 View commit details
    Browse the repository at this point in the history

  7. move comment

    @rchl
    rchl committed May 9, 2023
    Configuration menu
    Copy the full SHA
    70c68af View commit details
    Browse the repository at this point in the history

Commits on May 13, 2023

  1. Merge branch 'main' into fix/support-rename-command

    @rchl
    rchl committed May 13, 2023
    Configuration menu
    Copy the full SHA
    5046fbe View commit details
    Browse the repository at this point in the history