Separate option for bottom margin in landscape mode

A large margin in portrait mode is desirable but generally not in
landscape mode.
This commit is contained in:
Jules Aguillon
2023-01-15 19:19:07 +01:00
parent a199962117
commit fd0f0d5476
4 changed files with 9 additions and 5 deletions

View File

@@ -32,7 +32,7 @@ final class Config
public boolean vibrateEnabled;
public long longPressTimeout;
public long longPressInterval;
public float marginBottom;
public float margin_bottom;
public float keyHeight;
public float horizontal_margin;
public float keyVerticalInterval;
@@ -122,7 +122,7 @@ final class Config
vibrateEnabled = _prefs.getBoolean("vibrate_enabled", true);
longPressTimeout = _prefs.getInt("longpress_timeout", 600);
longPressInterval = _prefs.getInt("longpress_interval", 65);
marginBottom = get_dip_pref(dm, "margin_bottom",
margin_bottom = get_dip_pref(dm, oriented_pref("margin_bottom"),
res.getDimension(R.dimen.margin_bottom));
keyVerticalInterval = get_dip_pref(dm, "key_vertical_space",
res.getDimension(R.dimen.key_vertical_interval));

View File

@@ -230,7 +230,7 @@ public class Keyboard2View extends View
int height =
(int)(_config.keyHeight * _keyboard.keysHeight
+ _keyboard.rows.size()
+ _config.marginTop + _config.marginBottom);
+ _config.marginTop + _config.margin_bottom);
setMeasuredDimension(width, height);
_keyWidth = (width - (_config.horizontal_margin * 2)) / _keyboard.keysWidth;
}
@@ -247,7 +247,7 @@ public class Keyboard2View extends View
left + (int)_config.horizontal_margin,
top + (int)_config.marginTop,
right - (int)_config.horizontal_margin,
bottom - (int)_config.marginBottom);
bottom - (int)_config.margin_bottom);
setSystemGestureExclusionRects(Arrays.asList(keyboard_area));
}
}