We need the "none" return value of main_font_encoding

diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp
index 8143556ade9d4419b9ccab58bfb23920c93206fd..7211f12b836714c4c5f2effc98e0d2b8382ed3ba 100644 (file)
--- 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();
 }