Maybe it's not a tilda problem. Sometimes I have the same problem when I
switch desktop in gnome-shell (49.1-5) with Ctrl+Alt+left/right arrow.
- Bug#1120365: tilda + gnome + wayland: shortcut for show/hide tilda... P'tit g
- Bug#1120365: (no subject) P'tit g
