public static class KeyEventTranslator.Key
extends java.lang.Object
| Modifier and Type | Field | Description |
|---|---|---|
char |
input |
|
protected boolean |
isFromGlobalContext |
Wether this Key event applies to all jEdit windows (and not only a specific jEdit GUI component).
|
int |
key |
|
java.lang.String |
modifiers |
| Constructor | Description |
|---|---|
Key(java.lang.String modifiers,
int key,
char input) |
| Modifier and Type | Method | 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()