terminal_clear_screen
terminal_clear_screen(el); /* clear the whole real screen */
protected void terminal_clear_screen(EditLine *);