import jexer.event.TMouseEvent;
import jexer.event.TResizeEvent;
import jexer.tterminal.DisplayLine;
+import jexer.tterminal.DisplayListener;
import jexer.tterminal.ECMA48;
import static jexer.TKeypress.*;
/**
* TTerminalWindow exposes a ECMA-48 / ANSI X3.64 style terminal in a window.
*/
-public class TTerminalWindow extends TScrollableWindow {
+public class TTerminalWindow extends TScrollableWindow
+ implements DisplayListener {
/**
* The emulator.
*/
private Process shell;
+ /**
+ * If true, we are using the ptypipe utility to support dynamic window
+ * resizing. ptypipe is available at
+ * https://github.com/klamonte/ptypipe .
+ */
+ private boolean ptypipe = false;
+
/**
* Claim the keystrokes the emulator will need.
*/
String [] cmdShellBSD = {
"script", "-q", "-F", "/dev/null"
};
+ String [] cmdShellPtypipe = {
+ "ptypipe", "/bin/bash", "--login"
+ };
// Spawn a shell and pass its I/O to the other constructor.
ProcessBuilder pb;
- if (System.getProperty("os.name").startsWith("Windows")) {
+ if ((System.getProperty("jexer.TTerminal.ptypipe") != null)
+ && (System.getProperty("jexer.TTerminal.ptypipe").
+ equals("true"))
+ ) {
+ pb = new ProcessBuilder(cmdShellPtypipe);
+ ptypipe = true;
+ } else if (System.getProperty("os.name").startsWith("Windows")) {
pb = new ProcessBuilder(cmdShellWindows);
} else if (System.getProperty("os.name").startsWith("Mac")) {
pb = new ProcessBuilder(cmdShellBSD);
pb.redirectErrorStream(true);
shell = pb.start();
emulator = new ECMA48(deviceType, shell.getInputStream(),
- shell.getOutputStream());
+ shell.getOutputStream(), this);
} catch (IOException e) {
messageBox("Error", "Error launching shell: " + e.getMessage());
}
}
+ /**
+ * Called by emulator when fresh data has come in.
+ */
+ public void displayChanged() {
+ doRepaint();
+ }
+
+ /**
+ * Function to call to obtain the display width.
+ *
+ * @return the number of columns in the display
+ */
+ public int getDisplayWidth() {
+ return getWidth() - 2;
+ }
+
+ /**
+ * Function to call to obtain the display height.
+ *
+ * @return the number of rows in the display
+ */
+ public int getDisplayHeight() {
+ return getHeight() - 2;
+ }
+
/**
* Handle window close.
*/
// Get out of scrollback
setVerticalValue(0);
+
+ if (ptypipe) {
+ emulator.setWidth(getWidth() - 2);
+ emulator.setHeight(getHeight() - 2);
+
+ emulator.writeRemote("\033[8;" + (getHeight() - 2) + ";" +
+ (getWidth() - 2) + "t");
+ }
}
return;