else if (lmcolor.size() != 7 || lmcolor[0] != '#')
lmcolor = lcolor.getX11HexName(lcolor.getFromLyXName(lmcolor));
if (dmcolor == "none")
else if (lmcolor.size() != 7 || lmcolor[0] != '#')
lmcolor = lcolor.getX11HexName(lcolor.getFromLyXName(lmcolor));
if (dmcolor == "none")
else if (dmcolor.size() != 7 || dmcolor[0] != '#')
dmcolor = lcolor.getX11HexName(lcolor.getFromLyXName(dmcolor), true);
else if (dmcolor.size() != 7 || dmcolor[0] != '#')
dmcolor = lcolor.getX11HexName(lcolor.getFromLyXName(dmcolor), true);