-
Notifications
You must be signed in to change notification settings - Fork 30k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Keys requiring ALT-GR don't work in ghci with the integrated terminal on Windows #19440
Comments
Thanks for reporting! Just so we're on the same page... does ALT-GR not work within the integrated terminal in general, or do you only notice this issue with ghci? cc @Tyriar |
This issue only exists within ghci. Keys otherwise work in the integrated terminal and also work with ghci in the Windows Console. |
Related: #13809 |
This issue also exists for Powershell. |
Nothing we can do here so closing it off. This would be an upstream issue in winpty https://github.com/rprichard/winpty |
This issue should be fixed now in upstream in winpty's master branch. |
Steps to Reproduce:
ghci
orstack ghci
in the integrated Terminalrelated to #12444
The text was updated successfully, but these errors were encountered: