Input is lost after the "Copied to clipboard" toast notification
Reproduce:
- Highlight a word
- Right click on it and select "copy" (This is important as the keyboard shortcut seems to not be affected)
- Try typing things into the terminal right after
- Nothing will get inserted
Workaround:
- Alt tab to another window and back into Prompt
- Try typing again, it works now
This might be a mutter/shell issue, vte, gtk or who knows else but I can reliably reproduce it with prompt so let's start here.
(This is on GNOME OS with Todayish build and the Nightly Flatpak, has been happening for a week or two now I believe but I think 46.alpha wasn't affected in general)
cc @feaneron who mentioned something about grabs in the shell recently