Skip to content

Make page header text selectable - #26

Merged
emsi merged 1 commit into
masterfrom
feature/19-selectable-page-header
Aug 7, 2026
Merged

Make page header text selectable#26
emsi merged 1 commit into
masterfrom
feature/19-selectable-page-header

Conversation

@emsi

@emsi emsi commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Summary

  • make the page title and full notebook/section context selectable with native GTK label behavior
  • preserve the complete Unicode value when copying an ellipsized header
  • run the complete viewer test suite under Xvfb in release CI
  • document page-header selection separately from future freeform canvas selection

Validation

  • cargo fmt --all -- --check
  • cargo test --workspace --all-targets --locked --offline
  • cargo clippy --workspace --all-targets --locked --offline -- -D warnings
  • GTK_A11Y=none GSK_RENDERER=cairo xvfb-run -a cargo test -p onenote-viewer --locked --offline
  • git diff --check

Closes #19

@emsi
emsi merged commit b70efde into master Aug 7, 2026
4 checks passed
@emsi
emsi deleted the feature/19-selectable-page-header branch August 7, 2026 16:37
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.

Page title and notebook path cannot be selected or copied

1 participant