org.gnu.gnomevte.event
Class CharacterSizeChangedEvent.Type

java.lang.Object
  extended by EventType
      extended by org.gnu.gnomevte.event.CharacterSizeChangedEvent.Type
Enclosing class:
CharacterSizeChangedEvent

public static class CharacterSizeChangedEvent.Type
extends EventType

Type of a TerminalCharacterSizeChangedEvent.


Field Summary
static CharacterSizeChangedEvent.Type CHAR_SIZE_CHANGED
          Emitted whenever the selection of a new font causes the values of the character width or character height fields to change.
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

CHAR_SIZE_CHANGED

public static final CharacterSizeChangedEvent.Type CHAR_SIZE_CHANGED
Emitted whenever the selection of a new font causes the values of the character width or character height fields to change.