diff options
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. */ |