Class KeyEventTranslator.Key

java.lang.Object
org.gjt.sp.jedit.gui.KeyEventTranslator.Key
Enclosing class:
KeyEventTranslator
public static class KeyEventTranslator.Key extends Object
Version:
$Id: KeyEventTranslator.java 23981 2015-08-10 14:56:24Z daleanson $
Author:
Slava Pestov

  • Field Details

    • modifiers

      public final String modifiers

    • key

      public final int key

    • input

      public final char input

    • isFromGlobalContext

      protected boolean isFromGlobalContext
      Whether this Key event applies to all jEdit windows (and not only a specific jEdit GUI component).

  • Constructor Details

    • Key

      public Key(String modifiers, int key, char input)

  • Method Details

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • setIsFromGlobalContext

      public void setIsFromGlobalContext(boolean to)

    • isFromGlobalContext

      public boolean isFromGlobalContext()