From 7b9308dd6a07bc8d1d5457696d82002ac68779c4 Mon Sep 17 00:00:00 2001 From: Felipe Erias Date: Wed, 18 Dec 2024 22:15:56 +0900 Subject: [PATCH] Size and spacing of navigation bar elements 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. --- .../res/layout/deprecated_version_dialog.xml | 2 + app/src/main/res/layout/library.xml | 4 ++ .../res/layout/navigation_bar_navigation.xml | 37 ++++++++++--------- app/src/main/res/values/dimen.xml | 6 ++- app/src/main/res/values/styles.xml | 6 +-- 5 files changed, 34 insertions(+), 21 deletions(-) diff --git a/app/src/main/res/layout/deprecated_version_dialog.xml b/app/src/main/res/layout/deprecated_version_dialog.xml index 8b2c6c4d190..b66bfc4426d 100644 --- a/app/src/main/res/layout/deprecated_version_dialog.xml +++ b/app/src/main/res/layout/deprecated_version_dialog.xml @@ -32,6 +32,8 @@ @@ -40,7 +40,7 @@ @@ -91,14 +94,14 @@ android:id="@+id/urlBarPlaceholder" android:layout_width="wrap_content" android:layout_height="0dp" - android:layout_marginStart="10dp" + android:layout_marginStart="@dimen/nav_button_margin" android:layout_weight="100" app:visibleGone="@{viewmodel.isKioskMode && !viewmodel.isFindInPage}" /> @@ -134,8 +137,8 @@ app:privateMode="@{viewmodel.isPrivateSession}" /> -5.2 - 720dp + 800dp 74dp 28dp 36dp @@ -191,6 +191,10 @@ 0.15 0.1 + 44dp + 12dp + 8dp + 10dp 8dp diff --git a/app/src/main/res/values/styles.xml b/app/src/main/res/values/styles.xml index 78160152d5d..e1e72a77f71 100644 --- a/app/src/main/res/values/styles.xml +++ b/app/src/main/res/values/styles.xml @@ -50,10 +50,10 @@