Closed edlanglois closed 2 years ago
Can confirm that this fixes the issue, please merge
If the reason for not merging is to avoid an ever-growing list of terminal names, maybe it would be better to invert the list and provide a set of terminals to exclude? I'm not sure which those would be since most terminals I can think of are already on the include list.
Thank you
Fixes arrow keys, \<F5>, and possibly others for the Alacritty terminal.
Fixes #534 (when using Alacritty).