Never mind, I resolved this by using the raspberry pi configuration ui tool to change the keyboard model to a different value, save it, and then change it back the generic 101-key pc value. That fixed the issue.
Statistics: Posted by _john_ — Mon Apr 29, 2024 2:59 pm