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

Option to "forget" user environment #54

Closed
mottosso opened this issue Jul 18, 2019 · 2 comments
Closed

Option to "forget" user environment #54

mottosso opened this issue Jul 18, 2019 · 2 comments
Labels

Comments

@mottosso
Copy link
Owner

Sometimes, the user may launch an application and spot a really old environment having been set. Where did this come from? He looks at his local system environment and finds nothing. Later, he discovers that a few months ago, the value is coming from his now outdated Allzpark user environment.

Implementation

Add an option to forget it in the Preferences tab.

@mottosso mottosso added the ux label Jul 18, 2019
@davidlatwe
Copy link
Collaborator

Add an option to forget it in the Preferences tab.

Or adding an indicator like what #125 did, to indicate user environment has input ?

@mottosso
Copy link
Owner Author

Sure, that might work. Let's reopen this if the problem resurfaces.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants