You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Global Extension and Profile Extension
I have two different profiles for Javascript development and Python development. the "Profile" feature is amazing, it lets me separate my extension between JS and Python. but sometimes I happen to install the exact same extension such as "git-graph, discord-present, etc" for my two profile and I install it one by one on my two profiles.
Maybe developing "Global Extension" feature will help. As the name implies, this feature lets you have a list of "Global Extension" that will active in all of our profiles.
The text was updated successfully, but these errors were encountered:
Thanks for creating this issue! We figured it's covering the same as another one we already have. Thus, we closed this one as a duplicate. You can search for similar existing issues. See also our issue reporting guidelines.
Global Extension and Profile Extension
I have two different profiles for Javascript development and Python development. the "Profile" feature is amazing, it lets me separate my extension between JS and Python. but sometimes I happen to install the exact same extension such as "git-graph, discord-present, etc" for my two profile and I install it one by one on my two profiles.
Maybe developing "Global Extension" feature will help. As the name implies, this feature lets you have a list of "Global Extension" that will active in all of our profiles.
The text was updated successfully, but these errors were encountered: