void resetDisplay() { int width = size.getColumns() - (printLineNumbers ? 8 : 0); column = offsetInLine + column; offsetInLine = (column / width) * (width - 1); column = column - offsetInLine; }
void resetDisplay() { int width = size.getColumns() - (printLineNumbers ? 8 : 0); column = offsetInLine + column; offsetInLine = (column / width) * (width - 1); column = column - offsetInLine; }
@Override public int getWidth() { return size.getColumns(); }
@Override public int getWidth() { return size.getColumns(); }
private void drawBorderChar(long[] screen, Size size, int x, int y, long attr, int c) { if (x >= 0 && x < size.getColumns() && y >= 0 && y < size.getRows() - 1) { int oldc = (int)(screen[y * size.getColumns() + x] & 0xFFFFFFFFL); c = addBorder(c, oldc); screen[y * size.getColumns() + x] = attr | c; } }
private void drawBorderChar(long[] screen, Size size, int x, int y, long attr, int c) { if (x >= 0 && x < size.getColumns() && y >= 0 && y < size.getRows() - 1) { int oldc = (int)(screen[y * size.getColumns() + x] & 0xFFFFFFFFL); c = addBorder(c, oldc); screen[y * size.getColumns() + x] = attr | c; } }
public void endOfLine() { column = length(lines.get(line), tabs); int width = size.getColumns() - (printLineNumbers ? 8 : 0); offsetInLine = (column / width) * (width - 1); column = column - offsetInLine; wantedColumn = column; }
public void endOfLine() { column = length(lines.get(line), tabs); int width = size.getColumns() - (printLineNumbers ? 8 : 0); offsetInLine = (column / width) * (width - 1); column = column - offsetInLine; wantedColumn = column; }
public winsize(Size ws) { ws_row = (short) ws.getRows(); ws_col = (short) ws.getColumns(); }
public winsize(Size ws) { ws_row = (short) ws.getRows(); ws_col = (short) ws.getColumns(); }
public winsize(Size ws) { ws_row = (short) ws.getRows(); ws_col = (short) ws.getColumns(); }
public winsize(Size ws) { ws_row = (short) ws.getRows(); ws_col = (short) ws.getColumns(); }
public winsize(Size ws) { ws_row = (short) ws.getRows(); ws_col = (short) ws.getColumns(); }
private void handle(Terminal.Signal signal) { int prevw = size.getColumns(); size.copy(terminal.getSize()); try { if (size.getColumns() < prevw) { display.clear(); } display(); } catch (IOException e) { // ignore } }
public void resize() { Size size = terminal.getSize(); this.rows = size.getRows(); this.columns = size.getColumns(); this.force = true; }
private void handle(Terminal.Signal signal) { int prevw = size.getColumns(); size.copy(terminal.getSize()); try { if (size.getColumns() < prevw) { display.clear(); } display(); } catch (IOException e) { // ignore } }
@Override public void setSize(Size size) throws IOException { CLibrary.WinSize sz = new CLibrary.WinSize((short) size.getRows(), (short) size.getColumns()); CLibrary.ioctl(slave, CLibrary.TIOCSWINSZ, sz); }
public void copy(Size size) { setColumns(size.getColumns()); setRows(size.getRows()); }
void resetDisplay() { display.clear(); display.resize(size.getRows(), size.getColumns()); for (Buffer buffer : buffers) { buffer.resetDisplay(); } }
void resetDisplay() { display.clear(); display.resize(size.getRows(), size.getColumns()); for (Buffer buffer : buffers) { buffer.resetDisplay(); } }