Fix a crash on API < 12

'extra_keys_subtype' can be none on API level < 12 when the "accents"
option is tweaked.
This commit is contained in:
Jules Aguillon 2022-12-14 15:09:46 +01:00
parent c182f3d829
commit c61b31168c

View File

@ -177,6 +177,7 @@ final class Config
// Extra keys are removed from the set as they are encountered during the
// first iteration then automatically added.
final Set<KeyValue> extra_keys = new HashSet<KeyValue>();
if (extra_keys_subtype != null)
extra_keys.addAll(extra_keys_subtype);
extra_keys.addAll(extra_keys_param);
if (kw.num_pad && show_numpad)