Fix F12 being turned into F11

The "f11_placeholder" and "f12_placeholder" keys were equals since
31d6a70.

Add an incrementing id into the unused key value to differentiate
placeholder values.

1 files changed, 6 insertions, 1 deletions

diff --git a/srcs/juloo.keyboard2/KeyValue.java b/srcs/juloo.keyboard2/KeyValue.java
index d786959..fb4b776 100644
--- a/srcs/juloo.keyboard2/KeyValue.java
+++ b/srcs/juloo.keyboard2/KeyValue.java
@@ -231,9 +231,14 @@ final class KeyValue
     addKey(name, symbol, KIND_KEYEVENT, code, flags);
   }
 
+  // Within VALUE_BITS
+  private static int placeholder_unique_id = 0;
+
+  /** Use a unique id as the value because the symbol is shared between every
+      placeholders (it is the empty string). */
   private static void addPlaceholderKey(String name)
   {
-    addKey(name, "", KIND_STRING, 0, 0);
+    addKey(name, "", KIND_STRING, placeholder_unique_id++, 0);
   }
 
   static