org.gnu.gnomevte.event
Class CharacterSizeChangedEvent

java.lang.Object
  org.gnu.gtk.event.GtkEvent
      org.gnu.gnomevte.event.CharacterSizeChangedEvent

All Implemented Interfaces:

java.io.Serializable

public class CharacterSizeChangedEvent
extends org.gnu.gtk.event.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.

See Also:

Serialized Form

Nested Class Summary

static class

CharacterSizeChangedEvent.Type Type of a TerminalCharacterSizeChangedEvent.

Field Summary

Fields inherited from class org.gnu.gtk.event.GtkEvent

source, type

Constructor Summary

CharacterSizeChangedEvent(java.lang.Object source, org.gnu.glib.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.

Methods inherited from class org.gnu.gtk.event.GtkEvent

getSource, getType, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CharacterSizeChangedEvent

public CharacterSizeChangedEvent(java.lang.Object source,
                                 org.gnu.glib.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

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.

getCharacterWidth

public int getCharacterWidth()

Gets the new character cell width.

Returns:

the new character cell width.

getCharacterHeight

public int getCharacterHeight()

Gets the new character cell height.

Returns:

the new character cell height.