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 class	CharacterSizeChangedEvent.Type Type of a TerminalCharacterSizeChangedEvent.

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

Method Summary
int	getCharacterHeight() Gets the new character cell height.
int	getCharacterWidth() Gets the new character cell width.
boolean	isOfType(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.