mirror of
https://github.com/LawnchairLauncher/lawnchair.git
synced 2026-02-19 18:58:19 +00:00
Removing some unused PagedView attributes
Change-Id: I1c7312b46ec95286d8e49d3dee60b1bf4d98dc20
This commit is contained in:
@@ -353,13 +353,13 @@ public class DeviceProfile {
|
||||
}
|
||||
|
||||
// The rect returned will be extended to below the system ui that covers the workspace
|
||||
Rect getHotseatRect() {
|
||||
public boolean isInHotseatRect(int x, int y) {
|
||||
if (isVerticalBarLayout()) {
|
||||
return new Rect(availableWidthPx - hotseatBarHeightPx, 0,
|
||||
Integer.MAX_VALUE, availableHeightPx);
|
||||
return (x >= (availableWidthPx - hotseatBarHeightPx))
|
||||
&& (y >= 0) && (y <= availableHeightPx);
|
||||
} else {
|
||||
return new Rect(0, availableHeightPx - hotseatBarHeightPx,
|
||||
availableWidthPx, Integer.MAX_VALUE);
|
||||
return (x >= 0) && (x <= availableWidthPx)
|
||||
&& (y >= (availableHeightPx - hotseatBarHeightPx));
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user