commit b9b9ad3f9e5088e38cd15bc01a7fd09e32f55144
Author: Juergen Spitzmueller <[email protected]>
Date:   Thu Aug 4 10:01:06 2016 +0200

    Correct backends() allocation with japanese encoding
    
    Fixes error introduced by ad9887da9c18.
---
 src/BufferParams.cpp |   16 ++++++++++------
 1 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index 44ddc35..caa2dcb 100644
--- a/src/BufferParams.cpp
+++ b/src/BufferParams.cpp
@@ -2407,13 +2407,17 @@ vector<string> BufferParams::backends() const
 
        // FIXME: Don't hardcode format names here, but use a flag
        if (buffmt == "latex") {
-               if (!useNonTeXFonts) {
-                       v.push_back("pdflatex");
-                       v.push_back("latex");
+               if (encoding().package() == Encoding::japanese)
+                       v.push_back("platex");
+               else {
+                       if (!useNonTeXFonts) {
+                               v.push_back("pdflatex");
+                               v.push_back("latex");
+                       }
+                       v.push_back("xetex");
+                       v.push_back("luatex");
+                       v.push_back("dviluatex");
                }
-               v.push_back("xetex");
-               v.push_back("luatex");
-               v.push_back("dviluatex");
        } else
                v.push_back(buffmt);
 

Reply via email to