Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit d5190522 authored by Sunny Goyal's avatar Sunny Goyal
Browse files

Separating top and bottom paddings for the hotseat 

Bug: 37616877
Change-Id: I2f187576c28d62f9bb8257c9b9295edb7a8e44c0
(cherry picked from commit 751e41eb)
parent 0e96f3fe

res/values/dimens.xml

+6 −3
Original line number Diff line number Diff line
@@ -26,14 +26,17 @@ 
    <dimen name="dynamic_grid_overview_max_icon_zone_height">120dp</dimen>

    <dimen name="dynamic_grid_overview_bar_item_width">80dp</dimen>

    <dimen name="dynamic_grid_overview_bar_spacer_width">25dp</dimen>

    <dimen name="dynamic_grid_hotseat_height">88dp</dimen>

    <dimen name="dynamic_grid_hotseat_top_padding">8dp</dimen>

    <dimen name="dynamic_grid_hotseat_gutter_width">24dp</dimen>

    <dimen name="dynamic_grid_workspace_top_padding">12dp</dimen>

    <dimen name="dynamic_grid_workspace_page_spacing">8dp</dimen>

    <!-- Minimum space between workspace and hotseat in spring loaded mode -->

    <dimen name="dynamic_grid_min_spring_loaded_space">8dp</dimen>



    <!-- Hotseat -->

    <dimen name="dynamic_grid_hotseat_top_padding">8dp</dimen>

    <dimen name="dynamic_grid_hotseat_bottom_padding">0dp</dimen>

    <dimen name="dynamic_grid_hotseat_height">80dp</dimen>

    <dimen name="dynamic_grid_hotseat_land_gutter_width">24dp</dimen>



<!-- Drop target bar -->

    <dimen name="dynamic_grid_drop_target_size">48dp</dimen>

    <dimen name="vert_drop_target_vertical_gap">20dp</dimen>

src/com/android/launcher3/DeviceProfile.java

+6 −3
Original line number Diff line number Diff line
@@ -191,11 +191,14 @@ public class DeviceProfile { 
        dropTargetBarSizePx = res.getDimensionPixelSize(R.dimen.dynamic_grid_drop_target_size);

        workspaceSpringLoadedBottomSpace =

                res.getDimensionPixelSize(R.dimen.dynamic_grid_min_spring_loaded_space);

        hotseatBarHeightPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_height);



        hotseatBarTopPaddingPx =

                res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_top_padding);

        hotseatBarBottomPaddingPx = 0;

        hotseatLandGutterPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_gutter_width);

        hotseatBarBottomPaddingPx =

                res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_bottom_padding);

        hotseatBarHeightPx = hotseatBarTopPaddingPx + hotseatBarBottomPaddingPx +

                res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_height);

        hotseatLandGutterPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_hotseat_land_gutter_width);



        // Determine sizes.

        widthPx = width;