done_redo        1294 src/editor/edit.c             goto done_redo;
done_redo        1353 src/editor/edit.c done_redo:;