From e8f13f870f9cf2344623732e83e8239e513a458d Mon Sep 17 00:00:00 2001 From: yuzubot Date: Sat, 16 Apr 2022 12:02:19 +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;