org.gnu.gnomevte.event
Class CharacterSizeChangedEvent

java.lang.Object
  extended by GtkEvent
      extended by org.gnu.gnomevte.event.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(java.lang.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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CharacterSizeChangedEvent

public CharacterSizeChangedEvent(java.lang.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

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.