added GitGutter user pref