done_redo        1242 src/editor/edit.c             goto done_redo;
done_redo        1303 src/editor/edit.c   done_redo: