diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-12-03 20:36:52 +0000 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-12-03 20:36:52 +0000 |
| commit | 409ac12f236c06cbb28756239e1d1536078b33bb (patch) | |
| tree | 72afea384542d0b2e6a0b62e2cd62fb658be80aa /src/managers/input/InputManager.hpp | |
| parent | 6aa26582f63c13e32dd0191015550a2d1eade7e6 (diff) | |
avoid duplicate device names
Diffstat (limited to 'src/managers/input/InputManager.hpp')
| -rw-r--r-- | src/managers/input/InputManager.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/managers/input/InputManager.hpp b/src/managers/input/InputManager.hpp index 049b1983..f606fa77 100644 --- a/src/managers/input/InputManager.hpp +++ b/src/managers/input/InputManager.hpp @@ -132,6 +132,7 @@ public: void unsetCursorImage(); std::string deviceNameToInternalString(std::string); + std::string getNameForNewDevice(std::string); private: |