/// 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,