Context
config_banner_color = theme.add_color_param('banner-color', 'blue', 'color for banner line')
module-attribute
config_banner_title = theme.add_color_param('banner-title-color', 'none', 'color for banner title')
module-attribute
config_flag_bracket_color = theme.add_color_param('context-flag-bracket-color', 'none', 'color for flags register (bracket)')
module-attribute
config_flag_changed_color = theme.add_color_param('context-flag-changed-color', 'underline', 'color for flags register (flag changed)')
module-attribute
config_flag_set_color = theme.add_color_param('context-flag-set-color', 'green,bold', 'color for flags register (flag set)')
module-attribute
config_flag_unset_color = theme.add_color_param('context-flag-unset-color', 'red', 'color for flags register (flag unset)')
module-attribute
config_flag_value_color = theme.add_color_param('context-flag-value-color', 'none', 'color for flags register (register value)')
module-attribute
config_highlight_color = theme.add_color_param('highlight-color', 'green,bold', 'color added to highlights like source/pc')
module-attribute
config_prefix_color = theme.add_color_param('code-prefix-color', 'none', "color for 'context code' command (prefix marker)")
module-attribute
config_register_changed_color = theme.add_color_param('context-register-changed-color', 'red', 'color for registers label (change marker)')
module-attribute
config_register_changed_marker = theme.add_param('context-register-changed-marker', '*', 'change marker for registers label')
module-attribute
config_register_color = theme.add_color_param('context-register-color', 'bold', 'color for registers label')
module-attribute
format_flags(value, flags, last=None)