625
631
// copies text from 'startIndex' to 'endIndex' to a stream
626
632
// startIndex and endIndex are positions generated using the loc(x,y) macro
627
633
void writeToStream(TerminalCharacterDecoder* decoder, int startIndex,
629
635
// copies 'count' lines from the screen buffer into 'dest',
630
636
// starting from 'startLine', where 0 is the first line in the screen buffer
631
637
void copyFromScreen(Character* dest, int startLine, int count) const;