Skip to content

Restore the last opened page after restart - #31

Merged
emsi merged 1 commit into
masterfrom
feature/30-restore-last-page
Aug 8, 2026
Merged

Restore the last opened page after restart#31
emsi merged 1 commit into
masterfrom
feature/30-restore-last-page

Conversation

@emsi

@emsi emsi commented Aug 8, 2026

Copy link
Copy Markdown
Owner

Summary

  • persist the last committed page in backward-compatible workspace state
  • restore it safely across asynchronous notebook loading
  • validate stale source, section, and page identifiers with deterministic fallbacks
  • preserve click-only navigation and prevent delayed loads from overriding user navigation
  • debounce atomic workspace writes and flush them during shutdown

Validation

  • cargo test --workspace --all-targets --locked --offline
  • GTK_A11Y=none GSK_RENDERER=cairo xvfb-run -a cargo test -p onenote-viewer --locked --offline
  • cargo clippy --workspace --all-targets --locked --offline -- -D warnings
  • ./scripts/check-licenses.sh
  • GitHub release-build workflow run 31260903731: native, Flatpak, and AppImage passed

Closes #30

Persist the committed page location in backward-compatible workspace state and restore it across asynchronous notebook loading. Preserve click-only navigation semantics, validate stale identifiers, and fall back safely when sources or pages disappear.

Refs #30
@emsi
emsi merged commit 3d9db06 into master Aug 8, 2026
4 checks passed
@emsi
emsi deleted the feature/30-restore-last-page branch August 8, 2026 18:47
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.

Restore the last opened page after restart

1 participant