Upgrade StorageBug: Arrow keys don’t work in Page Number field
When I’m reading a PDF, sometimes the text will refer me to some page. In that case, I sometimes copy the page number, paste it into the Page Number field, and press Enter. But if the OCR didn’t get the number just right (often inserting a superfluous space character), and I use the arrow keys to move the insertion point to the correct place to change or delete, that does not happen; instead the focus shifts between the other toolbar elements.