public void setSize(Size sz) { size.copy(sz); }
public void setSize(Size sz) { size.copy(sz); }
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 void handle(Signal signal) { size.copy(terminal.getSize()); try { display.clear(); display(false); } catch (IOException e) { e.printStackTrace(); } }
public void handle(Signal signal) { size.copy(terminal.getSize()); try { display.clear(); display(false); } catch (IOException e) { e.printStackTrace(); } }
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 } }
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 } }
protected void handle(Signal signal) { if (buffer != null) { size.copy(terminal.getSize()); buffer.computeAllOffsets(); buffer.moveToChar(buffer.offsetInLine + buffer.column); resetDisplay(); display(); } }
protected void handle(Signal signal) { if (buffer != null) { size.copy(terminal.getSize()); buffer.computeAllOffsets(); buffer.moveToChar(buffer.offsetInLine + buffer.column); resetDisplay(); display(); } }
private void handleResize() { // Re-compute the layout if (resized.compareAndSet(true, false)) { size.copy(terminal.getSize()); } layout.resize(size.getColumns(), size.getRows() - 1); panes.forEach(vc -> { if (vc.width() != vc.layout.sx || vc.height() != vc.layout.sy || vc.left() != vc.layout.xoff || vc.top() != vc.layout.yoff) { vc.resize(vc.layout.xoff, vc.layout.yoff, vc.layout.sx, vc.layout.sy); display.clear(); } }); }
private void handleResize() { // Re-compute the layout if (resized.compareAndSet(true, false)) { size.copy(terminal.getSize()); } layout.resize(size.getColumns(), size.getRows() - 1); panes.forEach(vc -> { if (vc.width() != vc.layout.sx || vc.height() != vc.layout.sy || vc.left() != vc.layout.xoff || vc.top() != vc.layout.yoff) { vc.resize(vc.layout.xoff, vc.layout.yoff, vc.layout.sx, vc.layout.sy); display.clear(); } }); }
size.copy(terminal.getSize()); Terminal.SignalHandler prevHandler = terminal.handle(Terminal.Signal.WINCH, this::handle); Attributes attr = terminal.enterRawMode();
size.copy(terminal.getSize()); Terminal.SignalHandler prevHandler = terminal.handle(Terminal.Signal.WINCH, this::handle); Attributes attr = terminal.enterRawMode();
protected void handleSignal(Signal signal) { if (signal == Signal.WINCH) { size.copy(terminal.getSize()); display.resize(size.getRows(), size.getColumns()); redisplay(); } else if (signal == Signal.CONT) { terminal.enterRawMode(); size.copy(terminal.getSize()); display.resize(size.getRows(), size.getColumns()); terminal.puts(Capability.keypad_xmit); redrawLine(); redisplay(); } }
try { size.copy(terminal.getSize()); layout = new Layout(); layout.sx = size.getColumns();
try { size.copy(terminal.getSize()); layout = new Layout(); layout.sx = size.getColumns();
size.copy(terminal.getSize());
size.copy(terminal.getSize()); display.clear(); display.reset();
size.copy(terminal.getSize()); display.clear(); display.reset();