Hi, > I wonder if it is reasonable for ui/input-linux.c to honour the same > global '-ungrab' configuration option ?
No. Problem here is that input-linux is basically sniffing keyboard input when the host owns the keyboard, so it can't prevent the hotkey being seen by the host. Therefore I picked something which (a) has no side effects (modifier keys only) and (b) is highly unlikely to be used in normal operation. cheers, Gerd
