update gundo settings