-
Guillaume Desmottes authored
I'm about to change the default to not show groups, so users should have an easy way to get them back. I just removed a bunch of options from the preferences dialog so at the end it will still be simpler than it used to be. https://bugzilla.gnome.org/show_bug.cgi?id=677949
52189008