Color_buttonbg,
/// Color used for buttom under focus
Color_buttonhoverbg,
+ /// Color used for the pilcrow sign to mark the end of a paragraph
+ Color_paragraphmarker,
// Logical attributes
/// Color is inherited
Color_inherit,
+ /// Color for regexp frame
+ Color_regexpframe,
/// For ignoring updates of a color
Color_ignore
};