public JediTerminal( final TerminalDisplay display, final TerminalTextBuffer buf, final StyleState initialStyleState) { myDisplay = display; myTerminalTextBuffer = buf; myStyleState = initialStyleState; myTerminalWidth = display.getColumnCount(); myTerminalHeight = display.getRowCount(); myScrollRegionTop = 1; myScrollRegionBottom = myTerminalHeight; myTabulator = new DefaultTabulator(myTerminalWidth); myGraphicSetState = new GraphicSetState(); reset(); }