done_redo        1278 src/editor/edit.c             goto done_redo;
done_redo        1337 src/editor/edit.c   done_redo: