public static class KeyEventTranslator.Key
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
char |
input |
protected boolean |
isFromGlobalContext
Whether this Key event applies to all jEdit windows (and not only a specific jEdit GUI component).
|
int |
key |
java.lang.String |
modifiers |
| Constructor and Description |
|---|
Key(java.lang.String modifiers,
int key,
char input) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
boolean |
isFromGlobalContext() |
void |
setIsFromGlobalContext(boolean to) |
java.lang.String |
toString() |
public final java.lang.String modifiers
public final int key
public final char input
protected boolean isFromGlobalContext
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic void setIsFromGlobalContext(boolean to)
public boolean isFromGlobalContext()