atl/android_translation_layer
0
0
Fork 0
mirror of https://gitlab.com/android_translation_layer/android_translation_layer.git synced 2025-10-27 11:48:10 -07:00
Code Issues Packages Projects Releases Wiki Activity

support layout margins

Browse Source 
This makes the menu in Gravity Defied not get behind the keyboard.
Also makes the TabLayout in NewPipe not get behing the titlebar.
This commit is contained in:
Julian Winkler
2023-11-08 22:41:46 +01:00
parent 72a8b3a047
commit 36d7a1cc44
4 changed files with 45 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
src/api-impl/android/view/ViewGroup.java
View File

@@ -348,8 +348,6 @@ public class ViewGroup extends View implements ViewParent, ViewManager {
a.recycle();
}
public void setMargins(int left, int top, int right, int bottom) {}
/**
* Used to animate layouts.
*/
@@ -382,6 +380,19 @@ public class ViewGroup extends View implements ViewParent, ViewManager {
public MarginLayoutParams(Context context, AttributeSet attributeSet) {
super(context, attributeSet);
TypedArray a = context.obtainStyledAttributes(attributeSet, R.styleable.ViewGroup_MarginLayout);
leftMargin = a.getDimensionPixelSize(R.styleable.ViewGroup_MarginLayout_layout_marginLeft, 0);
topMargin = a.getDimensionPixelSize(R.styleable.ViewGroup_MarginLayout_layout_marginTop, 0);
rightMargin = a.getDimensionPixelSize(R.styleable.ViewGroup_MarginLayout_layout_marginRight, 0);
bottomMargin = a.getDimensionPixelSize(R.styleable.ViewGroup_MarginLayout_layout_marginBottom, 0);
a.recycle();
}
public void setMargins(int left, int top, int right, int bottom) {
leftMargin = left;
topMargin = top;
rightMargin = right;
bottomMargin = bottom;
}
public int getMarginStart() {
@@ -392,8 +403,12 @@ public class ViewGroup extends View implements ViewParent, ViewManager {
return rightMargin;
}
public void setMarginStart(int marginStart) {}
public void setMarginEnd(int marginEnd) {}
public void setMarginStart(int marginStart) {
leftMargin = marginStart;
}
public void setMarginEnd(int marginEnd) {
rightMargin = marginEnd;
}
}
public interface OnHierarchyChangeListener {