mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 07:00:55 +00:00
fc27469b97
Both keys are physically the same on available keyboards (with varying labeling). Unfortunately, PS/2 scancode sets and USB HID spec seem to differ slightly in their interpretation. Therefore, we keep the driver-level reporting as is but report both as KEY_PRINT in Sculpt, which allows to use the key(s) for screenshoter rules most prominently. Also, unify sculpt/event_filter/pc with sculpt_manager.