public int getTerminalHeight() { return terminal != null ? terminal.getHeight() : DEFAULT_HEIGHT; }
public int getHeight() { return terminal.getHeight(); }
int height = getTerminal().getHeight();
public int getHeight() { return terminal.getHeight(); }
public int getTerminalHeight() { return terminal != null ? terminal.getHeight() : DEFAULT_HEIGHT; }
public Object execute(CommandSession session, List<Object> arguments) throws Exception { return Integer.toString(terminal.getHeight()); } });
public Object execute(CommandSession session, List<Object> arguments) throws Exception { return Integer.toString(terminal.getHeight()); } });
public Object execute(CommandSession session, List<Object> arguments) throws Exception { return Integer.toString(terminal.getHeight()); } });
@Override public int getHeight() { if (height > 0) return height; return reader.getTerminal().getHeight(); }
public int getHeight() { return processor.reader.getTerminal().getHeight(); }
protected void loadSettings() { int w = reader.getTerminal().getWidth(); int h = reader.getTerminal().getHeight(); if (w == 80 && h == 24) { // default size if size can't be recognized width = DEFAULT_WIDTH; height = DEFAULT_HEIGHT; supportSize = false; } else { width = 0; height = 0; supportSize = true; } }
/** * Hides the editor screen and restore the {@link Terminal}. */ public void hide() { console.out().print("\33[" + 1 + ";" + terminal.getHeight() + ";r"); //Erase screen doesn't behave well on windows. for (int l = 1; l <= terminal.getHeight(); l++) { console.out().print(ansi().cursor(l, 1)); console.out().print(ansi().eraseLine(Erase.FORWARD)); } console.out().print(ansi().cursor(1, 1)); flush(); try { terminal.restore(); } catch (Exception e) { //noop } }
@Override public void newLine() { delegate.newLine(); console.out().print(ansi().eraseLine(Erase.FORWARD)); frameColumn = 1; frameLine++; if (frameLine > terminal.getHeight() - getHeaderSize() - getFooterSize()) { frameLine = terminal.getHeight() - getHeaderSize() - getFooterSize(); scrollUp(1); } redrawRestOfScreen(); console.out().print(ansi().cursor(frameLine + getHeaderSize(), frameColumn)); }
public static String[] getRawAnsiSettings() throws IOException { ConsoleReader reader = new ConsoleReader(); return new String[] { "Width: " + reader.getTerminal().getWidth(), "Height: " + reader.getTerminal().getHeight(), "Ansi: " + reader.getTerminal().isAnsiSupported(), "Echo: " + reader.getTerminal().isEchoEnabled(), "Supported: " + reader.getTerminal().isSupported() }; }
public void redrawHeader() { saveCursorPosition(); getConsole().out().print(ansi().cursor(1, 1)); Ansi style = ansi(); if (getTheme().getHeaderBackground() != null) { style.bg(getTheme().getHeaderBackground()); } if (getTheme().getHeaderForeground() != null) { style.fg(getTheme().getHeaderForeground()); } String textCoords = "L:" + getLine() + " C:" + getColumn(); int displayFileLength = getTerminal().getWidth() - getTitle().length() - textCoords.length() - 1; getConsole().out().print(style.a(getTitle()).a(":").a(Strings.tryToTrimToSize(getDisplayAs(), displayFileLength)).a(isDirty() ? DIRTY_SIGN : "").eraseLine(Ansi.Erase.FORWARD)); getConsole().out().print(ansi().cursor(1, getTerminal().getWidth() - textCoords.length())); getConsole().out().print(ansi().a(textCoords).reset()); getConsole().out().print(ansi().cursor(getTerminal().getHeight(), 1)); restoreCursorPosition(); }