My guess is that would fix it, as I can’t say I’ve seen other reports of issues with these keys not working!
I shared a report of keys not working from another user earlier in this thread!
It was then fixed in a Cursor release.
Here’s another report of keyboard shortcuts not working in Cursor:
The report is from today.
It’s from @harakiriru and @matbee-eth.