commit 72cebc2514f1e8488a857ace2d2c059bb4e04506
Author: Juergen Spitzmueller <[email protected]>
Date:   Mon Apr 23 16:20:36 2018 +0200

    We need the "none" return value of main_font_encoding
---
 src/BufferParams.cpp |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index 8143556..7211f12 100644
--- a/src/BufferParams.cpp
+++ b/src/BufferParams.cpp
@@ -3114,7 +3114,12 @@ string const BufferParams::dvips_options() const
 
 string const BufferParams::main_font_encoding() const
 {
-       return font_encodings().empty() ? "default" : font_encodings().back();
+       if (font_encodings().empty()) {
+               if (ascii_lowercase(language->fontenc(*this)) == "none")
+                       return "none";
+               return "default";
+       }
+       return font_encodings().back();
 }
 
 

Reply via email to