mirror of
https://github.com/LawnchairLauncher/lawnchair.git
synced 2026-02-20 11:18:21 +00:00
Update insets for transient taskbar
Bug: 252905206 Test: manual Change-Id: I03bd493dbe63274c8e90cb5e415127a1dd93e9b8
This commit is contained in:
@@ -312,10 +312,14 @@ public class DeviceProfile {
|
||||
}
|
||||
|
||||
if (isTaskbarPresent) {
|
||||
taskbarSize = DisplayController.isTransientTaskbar(context)
|
||||
? res.getDimensionPixelSize(R.dimen.transient_taskbar_size)
|
||||
: res.getDimensionPixelSize(R.dimen.taskbar_size);
|
||||
stashedTaskbarSize = res.getDimensionPixelSize(R.dimen.taskbar_stashed_size);
|
||||
if (DisplayController.isTransientTaskbar(context)) {
|
||||
taskbarSize = res.getDimensionPixelSize(R.dimen.transient_taskbar_size);
|
||||
stashedTaskbarSize =
|
||||
res.getDimensionPixelSize(R.dimen.transient_taskbar_stashed_size);
|
||||
} else {
|
||||
taskbarSize = res.getDimensionPixelSize(R.dimen.taskbar_size);
|
||||
stashedTaskbarSize = res.getDimensionPixelSize(R.dimen.taskbar_stashed_size);
|
||||
}
|
||||
}
|
||||
|
||||
edgeMarginPx = res.getDimensionPixelSize(R.dimen.dynamic_grid_edge_margin);
|
||||
|
||||
Reference in New Issue
Block a user