diff options
| author | Kenny Root <kenny@the-b.org> | 2009-01-23 14:19:46 +0000 |
|---|---|---|
| committer | Kenny Root <kenny@the-b.org> | 2009-01-23 14:19:46 +0000 |
| commit | a7fbe0bb6523c8659733b21c4bf957278e83ebfc (patch) | |
| tree | 43d8ebaf959bba193415843039ce4572e4f677fd /src/com/trilead/ssh2/Session.java | |
| parent | aed1876f36b34ee62e1537d42fcb339c6baa05b0 (diff) | |
| download | connectbot-a7fbe0bb6523c8659733b21c4bf957278e83ebfc.tar.gz connectbot-a7fbe0bb6523c8659733b21c4bf957278e83ebfc.tar.bz2 connectbot-a7fbe0bb6523c8659733b21c4bf957278e83ebfc.zip | |
Comply with RFC 4254 on window-change packet
* Always send false for "want reply"
* We don't need to wait since a reply should not be sent.
* Allow the sending of (informational) pixel dimensions.
Diffstat (limited to 'src/com/trilead/ssh2/Session.java')
| -rw-r--r-- | src/com/trilead/ssh2/Session.java | 23 |
1 files changed, 21 insertions, 2 deletions
diff --git a/src/com/trilead/ssh2/Session.java b/src/com/trilead/ssh2/Session.java index c41d837..30efa6f 100644 --- a/src/com/trilead/ssh2/Session.java +++ b/src/com/trilead/ssh2/Session.java @@ -130,7 +130,26 @@ public class Session terminal_modes);
}
- public void resizePTY(int width, int height) throws IOException {
+ /**
+ * Inform other side of connection that our PTY has resized.
+ * <p>
+ * Zero dimension parameters are ignored. The character/row dimensions
+ * override the pixel dimensions (when nonzero). Pixel dimensions refer to
+ * the drawable area of the window. The dimension parameters are only
+ * informational.
+ *
+ * @param term_width_characters
+ * terminal width, characters (e.g., 80)
+ * @param term_height_characters
+ * terminal height, rows (e.g., 24)
+ * @param term_width_pixels
+ * terminal width, pixels (e.g., 640)
+ * @param term_height_pixels
+ * terminal height, pixels (e.g., 480)
+ * @throws IOException
+ */
+ public void resizePTY(int term_width_characters, int term_height_characters, int term_width_pixels,
+ int term_height_pixels) throws IOException {
synchronized (this)
{
/* The following is just a nicer error, we would catch it anyway later in the channel code */
@@ -138,7 +157,7 @@ public class Session throw new IOException("This session is closed.");
}
- cm.resizePTY(cn, width, height);
+ cm.resizePTY(cn, term_width_characters, term_height_characters, term_width_pixels, term_height_pixels);
}
/**
|