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.

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

altgr+space opens context menu #790

Closed
davidnorthetal opened this issue Aug 27, 2018 · 3 comments
Closed

altgr+space opens context menu #790

davidnorthetal opened this issue Aug 27, 2018 · 3 comments

Comments

@davidnorthetal
Copy link

Hey,

on a german keyboard typing a pipe in a shell can cause me to accidentally close the whole window among other random stuff.

The issue is that altgr+space opens some sort of context menu for the window, which can happen if I remain on altgr, which is necessary for pressing the pipe on a german keyboard.

Is this necessary? - I don't know of any terminal emulator that behaves this way and I don't know of a windows application either that would have this binding.

Thanks for any response.
Dnorth

@mintty
Copy link
Owner

mintty commented Aug 27, 2018

It's the window menu ("SystemMenu"), not the context menu. Opening it with Alt+space is intended by design. Opening it also with AltGr+space is an unintended side effect. I'll look into this.
Inadvertent closing from the window menu could also be prevented by removing the "c" shortcut from its menu entry. Is that desirable?

@davidnorthetal
Copy link
Author

If I'd be in a position to wish something I'd not want to have the menu open at all because I don't intend as such and it swallows whatever I was intending to type anyway.

I have little defense for my workflow except that it just never seemed to matter so I apparently didn't bother much in my typing to relase my altgr-key in time often before hitting space and such it is ingrained in my brain.

If it's unintended ontop I'd be extremely pleased if this would be removed.

mintty added a commit that referenced this issue Aug 27, 2018
@mintty
Copy link
Owner

mintty commented Sep 20, 2018

Released 2.9.1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants