hugo/Gotcha
1
0
Fork 0
Code Issues 13 Pull Requests Actions Packages Projects Releases Wiki Activity

source view needs to take the title bar into account #25

New Issue
Closed
opened 2026-07-31 12:00:46 +00:00 by hugo · 1 comment
hugo commented 2026-07-31 12:00:46 +00:00
Owner
Copy Link

source is shown full screen, but the title bar is hovering over it, so the top few lines are covered and unreadable.

source is shown full screen, but the title bar is hovering over it, so the top few lines are covered and unreadable.
hugo added this to the first feature complete release milestone 2026-07-31 12:00:46 +00:00
hugo added the bug label 2026-07-31 12:00:46 +00:00
hugo commented 2026-07-31 12:13:48 +00:00
Author
Owner
Copy Link

Implemented in c5ecb8f. Replaced the full-bounds source scroll view with explicit safe-area constraints and disabled automatic inset adjustment, so ordinary source files and Markdown Source mode both start below the translucent navigation bar while preserving horizontal and vertical scrolling. Updated the repository-file regression scenario in TESTING.md. Verification passed: all required cargo formatting/check/Clippy/test gates, signed arm64 iPhone 17 Pro simulator build, and live source-file verification confirming the first line is unobscured beneath the title bar.

Implemented in c5ecb8f. Replaced the full-bounds source scroll view with explicit safe-area constraints and disabled automatic inset adjustment, so ordinary source files and Markdown Source mode both start below the translucent navigation bar while preserving horizontal and vertical scrolling. Updated the repository-file regression scenario in TESTING.md. Verification passed: all required cargo formatting/check/Clippy/test gates, signed arm64 iPhone 17 Pro simulator build, and live source-file verification confirming the first line is unobscured beneath the title bar.
hugo closed this issue 2026-07-31 12:13:49 +00:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
Something is not working
 critical
critical issues that take precendence over others of the same grouping
 duplicate
This issue or pull request already exists
 enhancement
New feature
 help wanted
Need some help
 idea
an idea for a future milestone
 invalid
Something is wrong
 question
More information is needed
 wontfix
This won't be fixed
No Label bug
Milestone
No items
No Milestone first feature complete release
Projects
Clear projects
No project
Assignees
Clear assignees
hugo
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: hugo/Gotcha#25
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?