void draw_insertion_cursor();