BasePaneListener<Window>WindowListenerAdapterpublic interface WindowListener extends BasePaneListener<Window>
BasePaneListener for Window that exposes additional events that are specific to windows| Modifier and Type | Method | Description |
|---|---|---|
void |
onMoved(Window window,
TerminalPosition oldPosition,
TerminalPosition newPosition) |
Called whenever the window's position has changed, no matter if it was done by the window manager or the user
|
void |
onResized(Window window,
TerminalSize oldSize,
TerminalSize newSize) |
Called whenever the window's size has changed, no matter if it was done by the window manager or the user
|
onInput, onUnhandledInputvoid onResized(Window window, TerminalSize oldSize, TerminalSize newSize)
window - Window that was resizedoldSize - Previous size of the windownewSize - New size of the windowvoid onMoved(Window window, TerminalPosition oldPosition, TerminalPosition newPosition)
window - Window that was repositionedoldPosition - Previous position of the windownewPosition - New position of the windowCopyright © 2020. All rights reserved.