From 261625f4129fd6e8c7b73dbfc3ff8850632d05a4 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Sat, 27 Jun 2020 09:40:12 +0200 Subject: [PATCH] Force local switch for info insets that change language Fixes compilation of current English UG --- src/insets/InsetInfo.cpp | 8 ++++++++ src/insets/InsetInfo.h | 2 ++ 2 files changed, 10 insertions(+) diff --git a/src/insets/InsetInfo.cpp b/src/insets/InsetInfo.cpp index b6fc541793..0847106dc0 100644 --- a/src/insets/InsetInfo.cpp +++ b/src/insets/InsetInfo.cpp @@ -749,6 +749,14 @@ bool InsetInfo::forceLTR(OutputParams const &) const } +bool InsetInfo::forceLocalFontSwitch() const +{ + return params_.type == InsetInfoParams::MENU_INFO + || params_.type == InsetInfoParams::SHORTCUTS_INFO + || params_.type == InsetInfoParams::L7N_INFO; +} + + void InsetInfo::updateBuffer(ParIterator const & it, UpdateType utype, bool const deleted) { // If the Buffer is a clone, then we neither need nor want to do any // of what follows. We want, rather, just to inherit how things were diff --git a/src/insets/InsetInfo.h b/src/insets/InsetInfo.h index c9fb838ea1..b130ab71b4 100644 --- a/src/insets/InsetInfo.h +++ b/src/insets/InsetInfo.h @@ -198,6 +198,8 @@ public: /// Force inset into LTR environment if surroundings are RTL bool forceLTR(OutputParams const &) const; /// + bool forceLocalFontSwitch() const; + /// void setInfo(std::string const & info); /// void updateBuffer(ParIterator const & it, UpdateType utype, bool const deleted = false); -- 2.39.2