done_redo        1249 src/editor/edit.c             goto done_redo;
done_redo        1310 src/editor/edit.c   done_redo: