de.mud.jta.event
public interface WindowSizeListener extends PluginListener
Maintainer: Matthias L. Jugel
Modifier and Type | Method and Description |
---|---|
java.awt.Dimension |
getWindowSize()
Return the current window size of the terminal in rows and columns.
|