public interface ResizeListener
Modifier and Type | Method and Description |
---|---|
void |
onResized(Terminal terminal,
TerminalSize newSize)
The terminal has changed its size, most likely because the user has resized the window.
|
void onResized(Terminal terminal, TerminalSize newSize)
terminal
- Terminal that was resizednewSize
- Size of the terminal after the resizeCopyright © 2016. All rights reserved.