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.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public void setIsFromGlobalContext(boolean to)
public boolean isFromGlobalContext()