update_cursor     175 gc/cord/de_win.c void update_cursor(void);
update_cursor     220 gc/cord/de_win.c       	   update_cursor();
update_cursor     321 gc/cord/de_win.c     if (caret_visible) update_cursor();