public Size toSize() { return new Size(ws_col, ws_row); }
public Size toSize() { return new Size(ws_col, ws_row); }
public Size toSize() { return new Size(ws_col, ws_row); }
public Size toSize() { return new Size(ws_col, ws_row); }
public Size toSize() { return new Size(ws_col, ws_row); }
public Size toSize() { return new Size(ws_col, ws_row); }
public Size getSize() { Size sz = new Size(); sz.copy(size); return sz; }
public Size getSize() { Size sz = new Size(); sz.copy(size); return sz; }
public Size getSize() { Kernel32.CONSOLE_SCREEN_BUFFER_INFO info = new Kernel32.CONSOLE_SCREEN_BUFFER_INFO(); Kernel32.INSTANCE.GetConsoleScreenBufferInfo(consoleOut, info); return new Size(info.dwSize.X, info.dwSize.Y); }
@Override public Size getSize() { int h = terminal.getHeight(); int w = terminal.getWidth(); return new Size(w, h); }
@Override public Size getSize() { int h = terminal.getHeight(); int w = terminal.getWidth(); return new Size(w, h); }
@Override public Size getSize() throws IOException { CLibrary.WinSize sz = new CLibrary.WinSize(); CLibrary.ioctl(slave, CLibrary.TIOCGWINSZ, sz); return new Size(sz.ws_col, sz.ws_row); }
public Size getSize() { Kernel32.CONSOLE_SCREEN_BUFFER_INFO info = new Kernel32.CONSOLE_SCREEN_BUFFER_INFO(); Kernel32.INSTANCE.GetConsoleScreenBufferInfo(consoleOut, info); return new Size(info.dwSize.X, info.dwSize.Y); }
static Size doGetSize(String cfg) throws IOException { return new Size(doGetInt("columns", cfg), doGetInt("rows", cfg)); }
public void resize(int left, int top, int width, int height) { this.left = left; this.top = top; console.setSize(new Size(width, height)); terminal.setSize(width, height); console.raise(Signal.WINCH); }
public void resize(int left, int top, int width, int height) { this.left = left; this.top = top; console.setSize(new Size(width, height)); terminal.setSize(width, height); console.raise(Signal.WINCH); }
protected void handleSignal(org.apache.sshd.server.Signal signal) { if (signal == org.apache.sshd.server.Signal.INT) { raise(Signal.INT); } else if (signal == org.apache.sshd.server.Signal.QUIT) { raise(Signal.QUIT); } else if (signal == org.apache.sshd.server.Signal.TSTP) { raise(Signal.TSTP); } else if (signal == org.apache.sshd.server.Signal.CONT) { raise(Signal.CONT); } else if (signal == org.apache.sshd.server.Signal.WINCH) { int w = Integer.valueOf(this.environment.getEnv().get(Environment.ENV_COLUMNS)); int h = Integer.valueOf(this.environment.getEnv().get(Environment.ENV_LINES)); setSize(new Size(w, h)); raise(Signal.WINCH); } }
public Nano(Terminal terminal, Path root) { this.terminal = terminal; this.root = root; this.display = new Display(terminal, true); this.bindingReader = new BindingReader(terminal.reader()); this.size = new Size(); bindKeys(); }
public Nano(Terminal terminal, Path root) { this.terminal = terminal; this.root = root; this.display = new Display(terminal, true); this.bindingReader = new BindingReader(terminal.reader()); this.size = new Size(); bindKeys(); }
public Size getSize() { long outputHandle = Kernel32.GetStdHandle(Kernel32.STD_OUTPUT_HANDLE); CONSOLE_SCREEN_BUFFER_INFO info = new CONSOLE_SCREEN_BUFFER_INFO(); Kernel32.GetConsoleScreenBufferInfo(outputHandle, info); Size size = new Size(); size.setColumns(info.size.x); size.setRows(info.size.y); return size; }