/// Color for the depth bars in the margin
depthbar,
+ /// Color for marking foreign language words
+ language,
/// Text color for command insets
command,
LColor();
///
void setColor(LColor::color col, string const & x11name);
+ ///
+ bool setColor(string const & lyxname, string const & x11name);
/// Get GUI name of color
string getGUIName(LColor::color c) const;