+ if (win instanceof MainWindow) {
+ MainWindow mwin = (MainWindow) win;
+ mwin.refresh(terminal.getTerminalSize());
+ terminal.addResizeListener(new ResizeListener() {
+ @Override
+ public void onResized(Terminal terminal, TerminalSize newSize) {
+ mwin.refresh(newSize);
+ }
+ });
+ }
+