foldIntoScreenName property
Whether to append the selected label to screen.name. Disable for shells
whose per-destination routes already name the screen; tab_switch spans
and their navigation.tab.* attributes are unaffected.
Implementation
final bool foldIntoScreenName;