mappings: user arrow keys to navigate errors