From c61b31168cf37b171e262f236975f1071dd92000 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Wed, 14 Dec 2022 15:09:46 +0100 Subject: [PATCH] Fix a crash on API < 12 'extra_keys_subtype' can be none on API level < 12 when the "accents" option is tweaked. --- srcs/juloo.keyboard2/Config.java | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index c289436..aa053b5 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -177,7 +177,8 @@ final class Config // Extra keys are removed from the set as they are encountered during the // first iteration then automatically added. final Set extra_keys = new HashSet(); - extra_keys.addAll(extra_keys_subtype); + if (extra_keys_subtype != null) + extra_keys.addAll(extra_keys_subtype); extra_keys.addAll(extra_keys_param); if (kw.num_pad && show_numpad) kw = kw.addNumPad();