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
-
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