Element: window.shell_name

Type

string

Description

The window shell resource name, used during communication with the window manager to resolve default values, e.g. colors. This may only be defined before window contents have been initialized. Redefining its value at any other time has no effect.

If undefined for new windows, a default value is derived from the window type, one of: