Class KeyEventTranslator.Key

  • Enclosing class:
    KeyEventTranslator

    public static class KeyEventTranslator.Key
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field 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 Summary

      Constructors 
      Constructor Description
      Key​(java.lang.String modifiers, int key, char input)  
    • Field Detail

      • modifiers

        public final java.lang.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 Detail

      • Key

        public Key​(java.lang.String modifiers,
                   int key,
                   char input)
    • Method Detail

      • 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()