A related theming option is the session.colors
property. It works a bit differently. It accepts only hex RGB colors but allows you to give them your own names. The format is
The example above, #ff9900 - EXP2, #fcfc39 - EXP, #216eb7 - DEV, #2ab82a - TEST, #fa0505 - PROD;
, produces the following Session Colors menu.
This is a nice idea, but it is somewhat hobbled by the fact that there is no way to enforce a one-to-one relationship between a given client number and a particular session color.
In our case it doesn't matter, because we run only one client per system. Each of our systems has a unique main color, and we set the session colors to one or two variants of the same color.
There is no way to set a default session color.
There also is no way to disable the No Color option.