Hello.
It is likely a known problem. Could you help me to identify it?
The known problem affected only the up key, while other arrows worked normally. Setting the desktop environment to change shortcut from the Print key to something else (let’s say Alt+p) helped: the up arrow came back to work properly.