Color_foreground,
/// Background color of selected text
Color_selection,
+ /// Foreground color of selected text
+ Color_selectiontext,
/// Text color in LaTeX mode
Color_latex,
/// The color used for previews
Color_marginlabel,
/// Label color for URL insets
Color_urllabel,
- /// Label color for URL text
+
+ /// Color for URL inset text
Color_urltext,
/// Color for the depth bars in the margin