From 8e869d52586693ae02523464dfdd24aeb72fb7f7 Mon Sep 17 00:00:00 2001 From: yuzubot Date: Fri, 18 Mar 2022 12:03:06 +0000 Subject: [PATCH] "Merge Tagged PR 7832" --- src/input_common/input_engine.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/input_common/input_engine.h b/src/input_common/input_engine.h index f44e0799b..3912e9500 100644 --- a/src/input_common/input_engine.h +++ b/src/input_common/input_engine.h @@ -207,7 +207,7 @@ private: int index) const; mutable std::mutex mutex; - mutable std::mutex mutex_callback; + mutable std::recursive_mutex mutex_callback; bool configuring{false}; const std::string input_engine; int last_callback_key = 0;