Skip to content

fix: align mac reader command menus#716

Merged
everpcpc merged 2 commits intomainfrom
codex/align-mac-reader-command-menu
Apr 7, 2026
Merged

fix: align mac reader command menus#716
everpcpc merged 2 commits intomainfrom
codex/align-mac-reader-command-menu

Conversation

@everpcpc
Copy link
Copy Markdown
Owner

@everpcpc everpcpc commented Apr 7, 2026

Problem

The macOS Reader command menu had drifted from the in-reader controls on iOS. DIVINA was missing current-page isolation actions, and the native PDF reader was not wired into the macOS command menu at all.

Approach

Unify reader command capabilities behind the shared macOS command state, then let each reader expose only the actions it actually supports. DIVINA now reuses shared page-isolation action resolution, and PDF now publishes its own command handlers for search, jump, reading direction, page layout, and cover isolation.

Scope

  • align DIVINA page isolation commands between iOS and macOS
  • wire native PDF reader actions into the macOS Reader menu
  • keep EPUB command coverage unchanged while adapting it to the expanded shared command state
  • bump build number to 393

Validation

  • make format
  • make build

everpcpc added 2 commits April 7, 2026 10:25
Add shared page isolation command actions so DIVINA uses the same menu semantics across iOS and macOS.

Wire the PDF reader into the macOS Reader command menu, including search, jump, reading direction, page layout, and isolate cover page actions.

Extend the macOS reader command state with per-reader capabilities so EPUB, PDF, and DIVINA expose only the commands they actually support.
@everpcpc everpcpc merged commit 51ed1a0 into main Apr 7, 2026
3 checks passed
@everpcpc everpcpc deleted the codex/align-mac-reader-command-menu branch April 7, 2026 02:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant