BasePaneListener<Window>
WindowListenerAdapter
public interface WindowListener extends BasePaneListener<Window>
BasePaneListener
for Window
that exposes additional events that are specific to windowsModifier 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, onUnhandledInput
void 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.