]> 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>
Sun, 10 Jul 2016 09:13:13 +0000 (11:13 +0200)
src/BufferParams.cpp
src/frontends/qt4/GuiDocument.cpp

index 7af439705a88be4115afa8e269916cd3d9cd594d..9fa1f1ae4631a3d8bc8587a75336739afda63e3e 100644 (file)
@@ -2131,6 +2131,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";
@@ -2352,7 +2353,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 af42fd8be10c8a889b45502efa75f858fd924495..f742d04b040f4b957fd4a791c2fa287cf9eea4b6 100644 (file)
@@ -1748,7 +1748,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()) {