+ case LT_LATEXHEADER: // header for environments
+ lexrc.next();
+ latexheader = lexrc.getString();
+ break;
+
+ case LT_LATEXFOOTER: // footer for environments
+ lexrc.next();
+ latexfooter = lexrc.getString();
+ break;
+
+ case LT_LATEXPARAGRAPH:
+ lexrc.next();
+ latexparagraph = lexrc.getString();
+ break;
+