class RequestWindowChange extends Request
Modifier and Type | Field and Description |
---|---|
(package private) int |
height_pixels |
(package private) int |
height_rows |
(package private) int |
width_columns |
(package private) int |
width_pixels |
Constructor and Description |
---|
RequestWindowChange() |
Modifier and Type | Method and Description |
---|---|
void |
request(Session session,
Channel channel) |
(package private) void |
setSize(int col,
int row,
int wp,
int hp) |
setReply, waitForReply, write