Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Alt-GR keys not working with GHCI #109

Closed
rprichard opened this issue Apr 21, 2017 · 2 comments
Closed

Alt-GR keys not working with GHCI #109

rprichard opened this issue Apr 21, 2017 · 2 comments
Labels
Unicode / EastAsianWidth

Comments

@rprichard
Copy link
Owner

See this issue: microsoft/vscode#19440. I haven't reproduced this issue myself. I don't have a keyboard with an Alt-GR key, but they're cheap. Maybe I can emulate it in a VM somehow.
@rprichard rprichard changed the title Alt-GR keys not working? Alt-GR keys not working with GHCI Apr 22, 2017
@rprichard
Copy link
Owner Author

With the German keyboard layout, pressing ALTGR-2 generates U+00B2(²). It works in CMD and PowerShell, but not in GHCI.

@rprichard
Copy link
Owner Author

At least where the console is concerned, the AltGr key seems to be equivalent to pressing Ctrl and Alt at the same time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Unicode / EastAsianWidth
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@rprichard