Rethink settings grouping #1513
Labels
Area-Settings
Issues related to settings and customizability, for console or terminal
Issue-Feature
Complex enough to require an in depth planning process and actual budgeted, scheduled work.
Product-Terminal
The new Windows Terminal.
Resolution-Duplicate
There's another issue on the tracker that's pretty much the same thing.
Referencing #754 and #1448, I think it's best to abandon separation between global/profile settings. Instead each setting could go to anywhere, but with profile settings overwriting global ones. There still will need to be global-only settings like
showTabsInTitlebar
ordefaultProfile
, but others could be made available as per-profile (e.g.keybindings
orinitialCols
).Additionally, I suggest a 'property groups' - groups of settings that you can '
#include
' in profiles (likeinclude: ["guid1", "guid2"]
). E.g. you may want to have consistent settings between wsl distros and anothers between cmd/ps profiles. (I can easily imagine profiles that differ only in command line, starting path or something like this, but have other settings, mostly, shared.)Issues:
The text was updated successfully, but these errors were encountered: