Commented out gundo for now and the persistent_undo