From fd0f0d54766de6c5621e5a09e192f75f3c05782c Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Sun, 15 Jan 2023 19:19:07 +0100 Subject: Separate option for bottom margin in landscape mode A large margin in portrait mode is desirable but generally not in landscape mode. --- srcs/juloo.keyboard2/Config.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'srcs/juloo.keyboard2/Config.java') diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index 24a396d..3a22118 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -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)); -- cgit v1.2.3