From b3d1a3fc1a7a1507a357ce327b8bf180f9259efe Mon Sep 17 00:00:00 2001
From: Nils Brederlow
Date: Sat, 27 Jul 2024 12:00:20 +0200
Subject: Add new keyevent "menu" (#726)

* Update ExtraKeysPreference.java

add "menu" to array of extra keys

* Update KeyValue.java

add menu keyevent---
 srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java | 1 +
 1 file changed, 1 insertion(+)

(limited to 'srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java')

diff --git a/srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java b/srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java
index 22c6bd9..11e1a05 100644
--- a/srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java
+++ b/srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java
@@ -71,6 +71,7 @@ public class ExtraKeysPreference extends PreferenceCategory
     "subscript",
     "f11_placeholder",
     "f12_placeholder",
+    "menu",
   };
 
   /** Whether an extra key is enabled by default. */
-- 
cgit v1.2.3