diff options
| author | Nils Brederlow | 2024-07-27 12:00:20 +0200 |
|---|---|---|
| committer | GitHub | 2024-07-27 12:00:20 +0200 |
| commit | b3d1a3fc1a7a1507a357ce327b8bf180f9259efe (patch) | |
| tree | a33f5ee9c9129c94789f3076af3c42f7f14a8728 /srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java | |
| parent | 50a3c0f5bc7eae044f3df07b1d119e94abce6619 (diff) | |
| download | unexpected-keyboard-b3d1a3fc1a7a1507a357ce327b8bf180f9259efe.tar.gz unexpected-keyboard-b3d1a3fc1a7a1507a357ce327b8bf180f9259efe.zip | |
Add new keyevent "menu" (#726)
* Update ExtraKeysPreference.java
add "menu" to array of extra keys
* Update KeyValue.java
add menu keyevent
Diffstat (limited to 'srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java')
| -rw-r--r-- | srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java | 1 |
1 files changed, 1 insertions, 0 deletions
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. */ |