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