Profiles Editor

[sandy081]

Creation of a profile can be as simple as just providing name. One can also customise various options like

• icon,
• copy from existing profile or template,
• copy each resource (settings, keybindings,...)
  • from selected profile or
  • start from scratch or
  • use from default profile.

At present all these customisations are represented in quick pick. We would also want to prevent multiple steps here because it can make creating a profile complicated even for simple case. To achieve this, we went beyond what a quick pick can support and introduced a dropdown to select copy profile option

Also representing configuring of each resource is very confusing. It is not explaining enough unchecking this will use default profile. It is more confusing if user is trying to create a profile using another profile and unchecking these options.

We would like to have a dropdown for each resource with following entries

• Empty
• Copy from selected profile (This should be disabled or removed when a profile is getting created from none)
• Use Default Profile

Current UI also is not scaling as we add more features like Icons and Colours. Other miscellaneous problems are

1. Too many places to manage profiles: Gear Menu + QuickPick + Side panel
2. Profiles not distinguished enough -> icon/color
3. Switching profiles is not easy enough