"Merge Tagged PR 7832"
This commit is contained in:
1 parent
a29a8c6f78
commit
e8f13f870f
1 file changed
+1
-1
@@ -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;
|
||||
|
||||
Reference in new issue
Block a user