From 866da75fa943172012f9b1b863b774c8bbc88ca1 Mon Sep 17 00:00:00 2001
From: Vincent Deville <vincent.deville@viseo.com>
Date: Thu, 14 Jan 2021 10:05:44 +0100
Subject: [PATCH] ExtraKeysView: Use Set instead of List for special buttons
 keys

---
 app/src/main/java/com/termux/app/ExtraKeysView.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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<String> specialButtonsKeys = specialButtons.keySet().stream().map(Enum::name).collect(Collectors.toList());
+    private final Set<String> specialButtonsKeys = specialButtons.keySet().stream().map(Enum::name).collect(Collectors.toSet());
 
     private boolean isSpecialButton(ExtraKeyButton button) {
         return specialButtonsKeys.contains(button.getKey());