"Merge Tagged PR 7832"

This commit is contained in:
yuzubot committed 2022-03-01 01:17:42 +00:00
1 parent 5c0c2dcc4b
commit 2efdf96d43
1 file changed
+1 -1
+1 -1
View File
@@ -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;