tree 31ef5e4e8d3456a4d61096c6361ce9a3883567f6
parent 0f8bbef729188c0998bd4a15d0619578c1a34616
author Thales Lima <tsuharesu@google.com> 1653321518 +0100
committer Thales Lima <tsuharesu@google.com> 1657031627 +0100

Add new hotseat bottom margin options

This changes how the hotseat height is calculated and by consequence how spaces are distributed in the workspace as well. This is the first of a series of changes that will improve and streamline workspace calculations.

Bug: 228998463
Fix: 234023782
Fix: 230191631
Fix: 232914299
Fix: 236238226
Test: manual, HSV and comparing to mocks
Change-Id: If021e8ba2c7c24c0bf9f27a1aa7aa946792ed04f