diff --git a/app/src/main/java/com/termux/app/ExtraKeysView.java b/app/src/main/java/com/termux/app/ExtraKeysView.java index 7b875f75..480b0123 100644 --- a/app/src/main/java/com/termux/app/ExtraKeysView.java +++ b/app/src/main/java/com/termux/app/ExtraKeysView.java @@ -8,6 +8,7 @@ import android.util.AttributeSet; import java.util.ArrayList; import java.util.List; +import java.util.Set; import java.util.concurrent.Executors; import java.util.concurrent.TimeUnit; import java.util.concurrent.ScheduledExecutorService; @@ -150,7 +151,7 @@ public final class ExtraKeysView extends GridLayout { put(SpecialButton.FN, new SpecialButtonState()); }}; - private final List specialButtonsKeys = specialButtons.keySet().stream().map(Enum::name).collect(Collectors.toList()); + private final Set specialButtonsKeys = specialButtons.keySet().stream().map(Enum::name).collect(Collectors.toSet()); private boolean isSpecialButton(ExtraKeyButton button) { return specialButtonsKeys.contains(button.getKey());