>Sometimes one color is great in one type of terminal but is clashing with another color, for a particular use case, in the other terminal! Fortunately there i

>Sometimes one color is great in one type of terminal but is clashing with another color, for a particular use case, in the other terminal! Fortunately there is an "app distinct" option in the settings. You can pick different color profiles for different programs.