diff options
| author | Jules Aguillon | 2024-12-26 18:29:19 +0100 |
|---|---|---|
| committer | GitHub | 2024-12-26 18:29:19 +0100 |
| commit | 370f921bc367613164d93dc1ddbd28c57042e0a7 (patch) | |
| tree | 2e437ccf8966fbd59a8b0b9c70f6f47dcc8a497e /srcs/juloo.keyboard2/Config.java | |
| parent | 57dbf3292fa7900f99fe503195d6cf20022eb653 (diff) | |
| download | unexpected-keyboard-370f921bc367613164d93dc1ddbd28c57042e0a7.tar.gz unexpected-keyboard-370f921bc367613164d93dc1ddbd28c57042e0a7.zip | |
Proper support for Android 15 edge-to-edge (#848)
The keyboard background now extends under the system bars and display
cutout on Android 15 but the keys do not.
The back and IME switching buttons that appear in the navigation bar require
special care to not overlap with the keyboard.
The launcher and settings activity are also fixed.
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index b28d2c0..9c31a6f 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -84,6 +84,7 @@ public final class Config [get_current_layout()] and [set_current_layout()]. */ int current_layout_portrait; int current_layout_landscape; + public int bottomInsetMin; private Config(SharedPreferences prefs, Resources res, IKeyEventHandler h) { @@ -187,6 +188,8 @@ public final class Config current_layout_landscape = _prefs.getInt("current_layout_landscape", 0); circle_sensitivity = Integer.valueOf(_prefs.getString("circle_sensitivity", "2")); clipboard_history_enabled = _prefs.getBoolean("clipboard_history_enabled", false); + bottomInsetMin = Utils.is_navigation_bar_gestural(res) ? + (int)res.getDimension(R.dimen.bottom_inset_min) : 0; } public int get_current_layout() |