Searched refs:cmd_repaint (Results 1 – 3 of 3) sorted by relevance
267 public void cmd_repaint(constant char *old_cp) in cmd_repaint() function 341 cmd_repaint(save_cp); in cmd_lshift() 370 cmd_repaint(save_cp); in cmd_rshift() 465 cmd_repaint(cp); in cmd_ichar() 508 cmd_repaint(cp); in cmd_erase() 601 cmd_repaint(cp); in cmd_kill() 868 cmd_repaint(cp); in cmd_edit()
87 public void cmd_repaint(constant char *old_cp);
763 cmd_repaint(NULL); in clear_buffers()