done_redo        1288 src/editor/edit.c             goto done_redo;
done_redo        1347 src/editor/edit.c   done_redo: