org.gjt.sp.jedit.gui
Class KeyEventTranslator.Key
java.lang.Object
org.gjt.sp.jedit.gui.KeyEventTranslator.Key
- Enclosing class:
- KeyEventTranslator
public static class KeyEventTranslator.Key
- extends java.lang.Object
Field Summary |
char |
input
|
protected boolean |
isFromGlobalContext
Wether this Key event applies to all jEdit windows (and not only a specific jEdit GUI component). |
protected boolean |
isPhantom
Wether this Key event is a phantom key event. |
int |
key
|
java.lang.String |
modifiers
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
modifiers
public final java.lang.String modifiers
key
public final int key
input
public final char input
isFromGlobalContext
protected boolean isFromGlobalContext
- Wether this Key event applies to all jEdit windows (and not only a specific jEdit GUI component).
isPhantom
protected boolean isPhantom
- Wether this Key event is a phantom key event. A phantom key event is a kind of duplicate key event which
should not - due to its nature of being a duplicate - generate any action on data.
However, phantom key events may be necessary to notify the rest of the GUI that the key event, if it was not a phantom key event but a real key event,
would generate any action and thus would be consumed.
KeyEventTranslator.Key
public KeyEventTranslator.Key(java.lang.String modifiers,
int key,
char input)
hashCode
public int hashCode()
- Overrides:
hashCode
in class java.lang.Object
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in class java.lang.Object
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
setIsFromGlobalContext
public void setIsFromGlobalContext(boolean to)
isFromGlobalContext
public boolean isFromGlobalContext()
setIsPhantom
public void setIsPhantom(boolean to)
isPhantom
public boolean isPhantom()