class cursor_controller { | |
public: | |
// simple cursor motion: | |
void up(int rows = 1); | |
void down(int rows = 1); | |
void right(int cols = 1); | |
void left(int cols = 1); // | |
void move(int row, int col); // absolute positioning | |
void home() {move(1,1);} | |
// erasing portions of the screen: | |
void clear_screen() ; // also send cursor home | |
void clear_eol(); | |
void save(); | |
void restore(); | |
}; | |