org.gnu.gnomevte.event

Class CharacterSizeChangedEvent

public class CharacterSizeChangedEvent extends GtkEvent

An event representing an action by a Terminal widget. This event is fired every time that the character size changed. This normally happens after changing the terminal's font.
Nested Class Summary
static classCharacterSizeChangedEvent.Type
Type of a TerminalCharacterSizeChangedEvent.
Constructor Summary
CharacterSizeChangedEvent(Object source, EventType type, int characterWidth, int characterHeight)
Constructor for TerminalCharacterSizeChangedEvent.
Method Summary
intgetCharacterHeight()
Gets the new character cell height.
intgetCharacterWidth()
Gets the new character cell width.
booleanisOfType(CharacterSizeChangedEvent.Type aType)
This method compares the type of the current event to the one provided as an argument.

Constructor Detail

CharacterSizeChangedEvent

public CharacterSizeChangedEvent(Object source, EventType type, int characterWidth, int characterHeight)
Constructor for TerminalCharacterSizeChangedEvent.

Parameters: source the source of the event. type the event type. characterWidth the new character cell width. characterHeight the new character cell height.

Method Detail

getCharacterHeight

public int getCharacterHeight()
Gets the new character cell height.

Returns: the new character cell height.

getCharacterWidth

public int getCharacterWidth()
Gets the new character cell width.

Returns: the new character cell width.

isOfType

public boolean isOfType(CharacterSizeChangedEvent.Type aType)
This method compares the type of the current event to the one provided as an argument.

Parameters: aType the type to compare to.

Returns: true if the events are of same type.