Description
Currently, pages can be changed only via keyboard, e.g., with N or Ctrl+Page Down for next page. There is
- no indicator of current page
- no way to select pages with pointing device
Implementation
Add page selection widget, e.g. Papers uses a simple selector/indicator (screenshot attached). Here, pages can be changed by:
- scrolling on the first number (pointing)
- editing the first number (keyboard)
## Description
Currently, pages can be changed only via keyboard, e.g., with <kbd>N</kbd> or <kbd>Ctrl</kbd>+<kbd>Page Down</kbd> for next page. There is
- no indicator of current page
- no way to select pages with pointing device
## Implementation
Add page selection widget, e.g. Papers uses a simple selector/indicator (screenshot attached). Here, pages can be changed by:
- scrolling on the first number (pointing)
- editing the first number (keyboard)
1.3 KiB