Le 04/11/2015 11:42, Stephan Witt a écrit :
        } else if (token == "\\pdf_quoted_options") {
                lex >> quoted_options;
+               lyxerr << "Q_O=" << quoted_options << endl;
        } else {
                return token;
        }

Did you put this change in intentionally?

No this one is mine from an unrelated patch Günter has been testing.

JMarc

Reply via email to