Maintainer: Matthias L. Jugel @version $Id: WindowSizeListener.java 499 2005-09-29 08:24:54Z leo $ @author Matthias L. Jugel, Marcus Mei�ner
372373374375376377378379380381382
public String getTerminalType() { return emulation.getTerminalID(); } }); bus.registerPluginListener(new WindowSizeListener() { public Dimension getWindowSize() { return new Dimension(emulation.getColumns(), emulation.getRows()); } });