done_redo        1257 src/editor/edit.c             goto done_redo;
done_redo        1316 src/editor/edit.c done_redo:;