Description
!33 introduced the keyboard short 0 and 1 for "normal" and "original" zoom, respectively. !52 introduced the page selector with an edit field.
Implementation
Either
- remove the single digit shortcuts, or
- disable the single-digit shortcuts on the page selector widget, or
- replace the page selector widget by another one?
## Description
!33 introduced the keyboard short <kbd>0</kbd> and <kbd>1</kbd> for "normal" and "original" zoom, respectively. !52 introduced the page selector with an edit field.
## Implementation
Either
- remove the single digit shortcuts, or
- disable the single-digit shortcuts on the page selector widget, or
- replace the page selector widget by another one?