]> git.lyx.org Git - features.git/commitdiff
Clarify some comments wrt XeTeX/LuaTeX (see bug #10013)
authorJuergen Spitzmueller <spitz@lyx.org>
Sun, 10 Jul 2016 09:13:13 +0000 (11:13 +0200)
committerJuergen Spitzmueller <spitz@lyx.org>
Mon, 11 Jul 2016 08:16:56 +0000 (10:16 +0200)
src/BufferParams.cpp
src/frontends/qt4/GuiDocument.cpp

index ff45e34ddb19264ba79583b21550457e5b616b72..d4ce087c04d372f18c3a1802aea69f0c0391725b 100644 (file)
@@ -2123,6 +2123,7 @@ bool BufferParams::writeLaTeX(otexstream & os, LaTeXFeatures & features,
 
        // xunicode needs to be loaded at least after amsmath, amssymb,
        // esint and the other packages that provide special glyphs
+       // The package only supports XeTeX currently.
        if (features.runparams().flavor == OutputParams::XETEX
            && useNonTeXFonts)
                lyxpreamble += "\\usepackage{xunicode}\n";
@@ -2344,7 +2345,10 @@ string BufferParams::bufferFormat() const
        string format = documentClass().outputFormat();
        if (format == "latex") {
                if (useNonTeXFonts)
-                       return "xetex"; // actually "xetex or luatex"
+                       // FIXME: In this context, this means "xetex or luatex"
+                       // with fontspec. We cannot differentiate further here.
+                       // But maybe use a more appropriate string.
+                       return "xetex";
                if (encoding().package() == Encoding::japanese)
                        return "platex";
        }
index 15fb71958fdf6da052afab73767b667b5701775f..e56407b01dbd4b50bfefe75cc29bbe7cf6c457ed 100644 (file)
@@ -1745,7 +1745,7 @@ void GuiDocument::deleteBoxBackgroundColor()
 
 void GuiDocument::languageChanged(int i)
 {
-       // some languages only work with polyglossia/XeTeX
+       // some languages only work with polyglossia
        Language const * lang = lyx::languages.getLanguage(
                fromqstr(langModule->languageCO->itemData(i).toString()));
        if (lang->babel().empty() && !lang->polyglossia().empty()) {