diff options
| author | Jules Aguillon | 2023-08-06 17:11:29 +0200 |
|---|---|---|
| committer | Jules Aguillon | 2023-08-06 17:15:36 +0200 |
| commit | 4d10556d4904086664f14ac3b900e65505a19fe7 (patch) | |
| tree | 9bd6434f9fc333933c38329bfd6295107d983d9e /srcs/juloo.keyboard2/Config.java | |
| parent | 1eea9e25d25afa04f0f98618df07820d27c8fe2e (diff) | |
| download | unexpected-keyboard-4d10556d4904086664f14ac3b900e65505a19fe7.tar.gz unexpected-keyboard-4d10556d4904086664f14ac3b900e65505a19fe7.zip | |
Don't replace user selected dead keys
Don't replace dead-keys selected in the "Add keys to the keyboard"
option by an alternative.
Diffstat (limited to 'srcs/juloo.keyboard2/Config.java')
| -rw-r--r-- | srcs/juloo.keyboard2/Config.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/srcs/juloo.keyboard2/Config.java b/srcs/juloo.keyboard2/Config.java index 8a81556..24565ab 100644 --- a/srcs/juloo.keyboard2/Config.java +++ b/srcs/juloo.keyboard2/Config.java @@ -182,6 +182,8 @@ final class Config // first iteration then automatically added. final Set<KeyValue> extra_keys = new HashSet<KeyValue>(); final Set<KeyValue> remove_keys = new HashSet<KeyValue>(); + extra_keys.addAll(extra_keys_param); + extra_keys.addAll(extra_keys_custom); if (extra_keys_subtype != null) { Set<KeyValue> present = new HashSet<KeyValue>(); @@ -191,8 +193,6 @@ final class Config extra_keys_subtype.compute(extra_keys, new ExtraKeys.Query(kw.script, present)); } - extra_keys.addAll(extra_keys_param); - extra_keys.addAll(extra_keys_custom); boolean number_row = this.number_row && !show_numpad; if (number_row) KeyboardData.number_row.getKeys(remove_keys); |
