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

Open file in corresponding workspace #2305

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Open file in corresponding workspace #2305

wants to merge 1 commit into from
+6 −1

Commits on Jun 24, 2022

  1. Open file in corresponding workspace 

    It took me some time to understand why autocomplete does not work properly.

See https://stackoverflow.com/a/72743549/633961

I guess you want a different wording. Feel free to change the text of my PR. But I think
a hint like this needs to be at the top of the file.
    @guettli
    guettli authored Jun 24, 2022
    Configuration menu
    Copy the full SHA
    0e27513 View commit details
    Browse the repository at this point in the history