-
Notifications
You must be signed in to change notification settings - Fork 484
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
Settings tab #3477
base: develop
Are you sure you want to change the base?
Settings tab #3477
Conversation
Will watch |
I took another look into this PR and believe we have the following things to address:
I updated the PR, cf. attached screenshot: |
Just a few comments and questions:
|
Not for the moment, but the infrastructure will allow us to expand this.
Taken care of I think, cf. UI sketch.
What will be the benefit of that documentation page? Whatever is reasonable for the user to "edit" will be (some day maybe) possible to edit via settings, all flags are already documented. |
Implementation wise we currently have two things:
I propose the following:
We could extend the config interface to allow querying different values, i.e. flags and user settings, returning the first match:
To be considered:
To be considered:
|
We were (again) able to make it without this 🙃, however we concluded that mid-term our users would benefit from a settings tab. |
Adds a dedicated settings tab to the app:
Closes #2913