org.gnu.gnomevte.event
Class CharacterSizeChangedEvent.Type

java.lang.Object
  org.gnu.glib.EventType
      org.gnu.gnomevte.event.CharacterSizeChangedEvent.Type

Enclosing class:

CharacterSizeChangedEvent

public static class CharacterSizeChangedEvent.Type
extends org.gnu.glib.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 org.gnu.glib.EventType

getID, getName

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.