diff --git a/app/src/main/java/com/termux/x11/MainActivity.java b/app/src/main/java/com/termux/x11/MainActivity.java index b375c332a..e1f67fc72 100644 --- a/app/src/main/java/com/termux/x11/MainActivity.java +++ b/app/src/main/java/com/termux/x11/MainActivity.java @@ -613,6 +613,7 @@ private void setTerminalToolbarView() { (mExtraKeys.getExtraKeysInfo() == null ? 0 : mExtraKeys.getExtraKeysInfo().getMatrix().length)); terminalToolbarViewPager.setLayoutParams(layoutParams); } + frm.setPadding(0, 0, 0, preferences.getBoolean("adjustHeightForEK", false) && terminalToolbarViewPager.getVisibility() == View.VISIBLE ? terminalToolbarViewPager.getHeight() : 0); }, 200); } @@ -631,6 +632,7 @@ public void toggleExtraKeys(boolean visible, boolean saveState) { parent.removeView(pager); parent.addView(pager, 0); } + frm.setPadding(0, 0, 0, preferences.getBoolean("adjustHeightForEK", false) && show ? pager.getHeight() : 0); if (enabled && saveState) { SharedPreferences.Editor edit = preferences.edit(); @@ -801,7 +803,6 @@ public void onUserLeaveHint() { public void onPictureInPictureModeChanged(boolean isInPictureInPictureMode, @NonNull Configuration newConfig) { toggleExtraKeys(!isInPictureInPictureMode, false); - frm.setPadding(0, 0, 0, 0); super.onPictureInPictureModeChanged(isInPictureInPictureMode, newConfig); } diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml index 536e8784f..13225eb1b 100644 --- a/app/src/main/res/xml/preferences.xml +++ b/app/src/main/res/xml/preferences.xml @@ -64,6 +64,12 @@ android:title="Keep Screen On" android:defaultValue="true" android:key="keepScreenOn" /> + +