org.gnu.gnomevte.event
Interface CharacterSizeChangedListener


Deprecated. This class is part of the java-gnome 2.x family of libraries, which, due to their inefficiency and complexity, are no longer being maintained and have been abandoned by the java-gnome project. Signal handling has been completely re-designed in java-gnome 4.0, so there will be no direct correspondant for this class. See individual inner interfaces in classes within org.gnome.vte

public interface CharacterSizeChangedListener

Listener for the Terminal widget that deals exclusively with CharacterSizeChangedEvent.


Method Summary
 void characterSizeChanged(CharacterSizeChangedEvent event)
          Deprecated. This method is called whenever a Terminal widget fires a character size change event.
 

Method Detail

characterSizeChanged

void characterSizeChanged(CharacterSizeChangedEvent event)
Deprecated. 
This method is called whenever a Terminal widget fires a character size change event.

Parameters:
event - the event that is fired.