Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Size and spacing of navigation bar elements #1665

Merged
merged 1 commit into from
Dec 27, 2024

Conversation

felipeerias
Copy link
Collaborator

@felipeerias felipeerias commented Dec 18, 2024

Set the default size in dp (800dp, previously 720dp) of the navigation bar to be consistent with its default size in world dimensions (4.0).

This makes the navigation elements slightly smaller, which we compensate by increasing their size to 44dp.

Reduce the margin between elements.

Ensure that other unrelated parts of the UI are not affected. Split the styles for the navigation bar from the ones used in other elements in the UI, for example in the close button in dialogs.

@felipeerias felipeerias force-pushed the felipeerias/navBarDimensions branch from 7b9308d to e5b05c8 Compare December 18, 2024 13:34
@felipeerias
Copy link
Collaborator Author

The visual change is noticeable but not large. It can be visualized in this adapted screenshot from Android Studio:

navBarDimensions

This is how it looks in use:

Screenshot_com igalia wolvic dev_2024 12 18-22 32 58 462_506

@felipeerias felipeerias force-pushed the felipeerias/navBarDimensions branch from e5b05c8 to 8f5461b Compare December 20, 2024 14:45
Set the default size in dp (800dp, previously 720dp) of the
navigation bar to be consistent with its default size in world
dimensions (4.0).

This makes the navigation elements slightly smaller, which we
compensate by increasing their size to 44dp.

Reduce the margin between elements.

Split the styles for the navigation bar from the ones used in other
elements in the UI, for example in the close button in dialogs.

Increase the height of the navigation bar to ensure that the move
bar is visible.
@felipeerias felipeerias force-pushed the felipeerias/navBarDimensions branch from 8f5461b to b061a45 Compare December 20, 2024 14:52
@svillar svillar merged commit 84d3877 into main Dec 27, 2024
22 checks passed
@svillar svillar deleted the felipeerias/navBarDimensions branch December 27, 2024 09:48
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.

2 participants