[Bug] TextEdit/LineEdit: Hold right shift and press Left/Right arrow can't select text on Win10

[asuper0]

Slint Version: latest
OS: Win10

The right shift does not work, while left shift do.

I have checked the code of TextInput, KeyboardModifiers, InternalKeyboardModifierState, both of them seem correct.

Then I checked the define of key_code in internal\common\key_codes.rs, it says ShiftR is 0x15 and has a comment

// The modifier key codes comes from https://developer.mozilla.org/en-US/docs/Web/API/KeyboardEvent/keyCode.

However, Section Non-printable keys (function keys) in the page says both left shift and right shift are 0x10.