On Thu, Aug 23, 2018 at 01:23:20AM +0000, Ryan El Kochta wrote: > This patch introduces three new options on the input-linux commandline: > > (a) ignore_caps_lock=[on|off] > (b) ignore_num_lock=[on|off] > (c) ignore_scroll_lock=[on|off] > > If enabled, the key will be disabled and not forwarded to the guest. > There are two main reasons for this: > > (a) Without keyboard LEDs, it can be difficult to tell whether it is > enabled or not > (b) Preparation for another patch which will allow changing the keys > used to toggle the input device's grab. If you set the key to > KEY_SCROLLLOCK for example, it can be frustrating disabling scroll lock > in the guest, as it will require pressing the key more than twice.
Hmm. You have the same issue on the host, right? For the guest we can easily filter out the key events. For the host we can't. This is the reason I picked a key combination which has no side effects to switch between host and guest. And for the same reason I don't think it is useful to allow the user to specify arbitrary key combinations. Which combination do you want use instead of leftshift + rightshift? cheers, Gerd
