///
Color_white,
///
- Color_red,
+ Color_blue,
+ ///
+ Color_brown,
+ ///
+ Color_cyan,
+ ///
+ Color_darkgray,
+ ///
+ Color_gray,
///
Color_green,
///
- Color_blue,
+ Color_lightgray,
///
- Color_cyan,
+ Color_lime,
///
Color_magenta,
///
+ Color_olive,
+ ///
+ Color_orange,
+ ///
+ Color_pink,
+ ///
+ Color_purple,
+ ///
+ Color_red,
+ ///
+ Color_teal,
+ ///
+ Color_violet,
+ ///
Color_yellow,
// Needed interface colors
/// Color for the depth bars in the margin
Color_depthbar,
+ /// Color that indicates when a row can be scrolled
+ Color_scroll,
/// Color for marking foreign language words
Color_language,
/// Error box text color
Color_error,
- /// EOL marker color
+ /// End of line (EOL) marker color
Color_eolmarker,
/// Added space colour
Color_added_space,