@ -40,10 +40,4 @@ class TextStream: public OutputStream, protected TextWindow {
*/
void flush();
private:
unsigned from_col;
unsigned to_col;
unsigned from_row;
unsigned to_row;
bool use_cursor;
};