done_redo        1259 src/editor/edit.c             goto done_redo;
done_redo        1318 src/editor/edit.c done_redo:;