Account for old versions of Pygments

[lyx.git] / src / Color.cpp

diff --git a/src/Color.cpp b/src/Color.cpp
index 161ebbad090cc69542601a8a22ac0388df625a6d..b405dc49123f78340fb33fa532f171c96eda7c2c 100644 (file)
--- a/src/Color.cpp
+++ b/src/Color.cpp
@@ -203,11 +203,22 @@ ColorSet::ColorSet()
        { Color_none, N_("none"), "none", "black", "none" },
        { Color_black, N_("black"), "black", "black", "black" },
        { Color_white, N_("white"), "white", "white", "white" },
-       { Color_red, N_("red"), "red", "red", "red" },
-       { Color_green, N_("green"), "green", "green", "green" },
        { Color_blue, N_("blue"), "blue", "blue", "blue" },
+       { Color_brown, N_("brown"), "brown", "brown", "brown" },
        { Color_cyan, N_("cyan"), "cyan", "cyan", "cyan" },
+       { Color_darkgray, N_("darkgray"), "darkgray", "darkgray", "darkgray" },
+       { Color_gray, N_("gray"), "gray", "gray", "gray" },
+       { Color_green, N_("green"), "green", "green", "green" },
+       { Color_lightgray, N_("lightgray"), "lightgray", "lightgray", "lightgray" },
+       { Color_lime, N_("lime"), "lime", "lime", "lime" },
        { Color_magenta, N_("magenta"), "magenta", "magenta", "magenta" },
+       { Color_olive, N_("olive"), "olive", "olive", "olive" },
+       { Color_orange, N_("orange"), "orange", "orange", "orange" },
+       { Color_pink, N_("pink"), "pink", "pink", "pink" },
+       { Color_purple, N_("purple"), "purple", "purple", "purple" },
+       { Color_red, N_("red"), "red", "red", "red" },
+       { Color_teal, N_("teal"), "teal", "teal", "teal" },
+       { Color_violet, N_("violet"), "violet", "violet", "violet" },
        { Color_yellow, N_("yellow"), "yellow", "yellow", "yellow" },
        { Color_cursor, N_("cursor"), "cursor", "black", "cursor" },
        { Color_background, N_("background"), "background", "linen", "background" },
@@ -281,13 +292,13 @@ ColorSet::ColorSet()
        { Color_bottomarea, N_("bottom area"), "bottomarea", grey40, "bottomarea" },
        { Color_newpage, N_("new page"), "newpage", "Blue", "newpage" },
        { Color_pagebreak, N_("page break / line break"), "pagebreak", "RoyalBlue", "pagebreak" },
-       { Color_buttonframe, N_("frame of button"), "buttonframe", "#dcd2c8", "buttonframe" },
+       { Color_buttonframe, N_("button frame"), "buttonframe", "#dcd2c8", "buttonframe" },
        { Color_buttonbg, N_("button background"), "buttonbg", "#dcd2c8", "buttonbg" },
        { Color_buttonhoverbg, N_("button background under focus"), "buttonhoverbg", "#C7C7CA", "buttonhoverbg" },
        { Color_paragraphmarker, N_("paragraph marker"), "paragraphmarker", grey80, "paragraphmarker"},
        { Color_previewframe, N_("preview frame"), "previewframe", "black", "previewframe"},
        { Color_inherit, N_("inherit"), "inherit", "black", "inherit" },
-       { Color_regexpframe, N_("regexp frame"), "green", "green", "green" },
+       { Color_regexpframe, N_("regexp frame"), "regexpframe", "green", "regexpframe" },
        { Color_ignore, N_("ignore"), "ignore", "black", "ignore" },
        { Color_ignore, 0, 0, 0, 0 }
        };