Set LaTeX color for notefontcolor (#9283)

diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index 607ea2dca6540608f40e962f7db01a43213483e3..4ce387d1dfab1019a10aea2c86ea36edbaa904cd 100644 (file)
--- a/src/BufferParams.cpp
+++ b/src/BufferParams.cpp
@@ -1052,6 +1052,7 @@ string BufferParams::readToken(Lexer & lex, string const & token,
                string color = lex.getString();
                notefontcolor = lyx::rgbFromHexName(color);
                lcolor.setColor("notefontcolor", color);
+               lcolor.setLaTeXName("notefontcolor", "note_fontcolor");
        } else if (token == "\\boxbgcolor") {
                lex.eatLine();
                string color = lex.getString();