diff options
author | wb9688 <wb9688@users.noreply.github.com> | 2019-12-31 18:31:45 +0100 |
---|---|---|
committer | Simon Ser <contact@emersion.fr> | 2020-07-15 19:27:12 +0200 |
commit | c199c8d6ea3fb77697040f3d814af8d76c6e6d2d (patch) | |
tree | 4becab7b9aafad3438d27645a6e350194a46f9ce | |
parent | tree/view: fix segfault in view_update_title (diff) | |
download | sway-c199c8d6ea3fb77697040f3d814af8d76c6e6d2d.tar.gz sway-c199c8d6ea3fb77697040f3d814af8d76c6e6d2d.tar.zst sway-c199c8d6ea3fb77697040f3d814af8d76c6e6d2d.zip |
Replace unprintable characters in input device id
(cherry picked from commit 17ff13fc84fd74ddcee68a302af156d7bf81ed85)
-rw-r--r-- | sway/input/input-manager.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sway/input/input-manager.c b/sway/input/input-manager.c index 69342c73..f04a8ce0 100644 --- a/sway/input/input-manager.c +++ b/sway/input/input-manager.c | |||
@@ -70,7 +70,8 @@ char *input_device_get_identifier(struct wlr_input_device *device) { | |||
70 | 70 | ||
71 | char *p = name; | 71 | char *p = name; |
72 | for (; *p; ++p) { | 72 | for (; *p; ++p) { |
73 | if (*p == ' ') { | 73 | // There are in fact input devices with unprintable characters in its name |
74 | if (*p == ' ' || !isprint(*p)) { | ||
74 | *p = '_'; | 75 | *p = '_'; |
75 | } | 76 | } |
76 | } | 77 | } |