Identify Approach for Extension Preferences #793
austincondiff
started this conversation in
General
Replies: 2 comments
-
Will we provide the ability to edit preferences within a UI and/or in JSON format? |
Beta Was this translation helpful? Give feedback.
0 replies
-
@jasonplatts Both. Preferences will be added to Edit on 10/17/2022: |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
We need to identify an approach for extension preferences.
For context per #416 by @pkasila
@Angelk90 said:
@pkasila gave 3 options:
@jasonplatts pointed out how Nova handles this...
In our concept (here and here), we planned to house our extension store and extension library (installed extensions) in the Extension Navigator (#355).
What happens when we click on an extension in this navigator? Here are some options:
Beta Was this translation helpful? Give feedback.
All reactions