Color_commentbg,
/// Label color for greyedout insets
Color_greyedoutlabel,
+ /// Color for greyedout inset text
+ Color_greyedouttext,
/// Background color of greyedout inset
Color_greyedoutbg,
/// Background color of shaded box
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,
+ /// 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
};