From b3d1a3fc1a7a1507a357ce327b8bf180f9259efe Mon Sep 17 00:00:00 2001 From: Nils Brederlow <62596379+dingodoppelt@users.noreply.github.com> Date: Sat, 27 Jul 2024 12:00:20 +0200 Subject: [PATCH] Add new keyevent "menu" (#726) * Update ExtraKeysPreference.java add "menu" to array of extra keys * Update KeyValue.java add menu keyevent --- srcs/juloo.keyboard2/KeyValue.java | 1 + srcs/juloo.keyboard2/prefs/ExtraKeysPreference.java | 1 + 2 files changed, 2 insertions(+) diff --git a/srcs/juloo.keyboard2/KeyValue.java b/srcs/juloo.keyboard2/KeyValue.java index 876d5f5..2a329df 100644 --- a/srcs/juloo.keyboard2/KeyValue.java +++ b/srcs/juloo.keyboard2/KeyValue.java @@ -501,6 +501,7 @@ public final class KeyValue implements Comparable case "f11": return keyeventKey("F11", KeyEvent.KEYCODE_F11, FLAG_SMALLER_FONT); case "f12": return keyeventKey("F12", KeyEvent.KEYCODE_F12, FLAG_SMALLER_FONT); case "tab": return keyeventKey(0xE00F, KeyEvent.KEYCODE_TAB, FLAG_SMALLER_FONT); + case "menu": return keyeventKey("Menu", KeyEvent.KEYCODE_MENU, FLAG_SMALLER_FONT); /* Spaces */ case "\\t": return charKey("\\t", '\t', 0); // Send the tab character 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. */