From 72cebc2514f1e8488a857ace2d2c059bb4e04506 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Mon, 23 Apr 2018 16:20:36 +0200 Subject: [PATCH] We need the "none" return value of main_font_encoding --- src/BufferParams.cpp | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/BufferParams.cpp b/src/BufferParams.cpp index 8143556ade..7211f12b83 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(); } -- 2.39.2