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

Changing env dialog: need more buttons (actions) #58

Open
PetrKryslUCSD opened this issue May 11, 2022 · 4 comments
Open

Changing env dialog: need more buttons (actions) #58

PetrKryslUCSD opened this issue May 11, 2022 · 4 comments
Labels
enhancement New feature or request

Comments

@PetrKryslUCSD
Copy link

image
I am sorry, but I don't follow: I just changed env, and now I am prompted to pick a different env?
It is not really a meaningful prompt (I just did that!). What is the point?

@pfitzseb
Copy link
Member

The point is that symbol resolution can only be accurate if you're pointing VS Code to the right environment (you're of course free to ignore the prompt).

@PetrKryslUCSD
Copy link
Author

But there is no "yes" button. It just says "do something else".

@pfitzseb
Copy link
Member

Ok, so you want that button to automatically select the appropriate environment instead of selecting it yourself. Fair enough, I guess.

@PetrKryslUCSD
Copy link
Author

I'm sorry, I am not expressing myself very well. Let me try that again:
I started by selecting an environment
image
So now I picked an environment, as shown at the bottom
image
At this point, this dialogue pops up:
image
I can click the blue button, but then I'm back to picking a folder.
What I am missing here is a button that says "OK", and perhaps another one that says
"I'm sure, don't ask me ever again".

Oh, and by the way, changing the environment does not work for me at all: please see separate issue.

Thanks.

@PetrKryslUCSD PetrKryslUCSD changed the title What does this mean? Changing env Changing env dialog: need more buttons (actions) May 12, 2022
@davidanthoff davidanthoff added the enhancement New feature or request label Oct 15, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

3 participants