Settings for Gundo.