Add new keyevent "menu" (#726)

* Update ExtraKeysPreference.java

add "menu" to array of extra keys

* Update KeyValue.java

add menu keyevent
This commit is contained in:
Nils Brederlow 2024-07-27 12:00:20 +02:00 committed by GitHub
parent 50a3c0f5bc
commit b3d1a3fc1a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 2 additions and 0 deletions

View File

@ -501,6 +501,7 @@ public final class KeyValue implements Comparable<KeyValue>
case "f11": return keyeventKey("F11", KeyEvent.KEYCODE_F11, FLAG_SMALLER_FONT); case "f11": return keyeventKey("F11", KeyEvent.KEYCODE_F11, FLAG_SMALLER_FONT);
case "f12": return keyeventKey("F12", KeyEvent.KEYCODE_F12, 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 "tab": return keyeventKey(0xE00F, KeyEvent.KEYCODE_TAB, FLAG_SMALLER_FONT);
case "menu": return keyeventKey("Menu", KeyEvent.KEYCODE_MENU, FLAG_SMALLER_FONT);
/* Spaces */ /* Spaces */
case "\\t": return charKey("\\t", '\t', 0); // Send the tab character case "\\t": return charKey("\\t", '\t', 0); // Send the tab character

View File

@ -71,6 +71,7 @@ public class ExtraKeysPreference extends PreferenceCategory
"subscript", "subscript",
"f11_placeholder", "f11_placeholder",
"f12_placeholder", "f12_placeholder",
"menu",
}; };
/** Whether an extra key is enabled by default. */ /** Whether an extra key is enabled by default. */