-
Christoph Haag authored
Since this is more a general user preference than a setting users should have to set every time, this is a gsettings instead of a button.
7a92f743
Since this is more a general user preference than a setting users should have to set every time, this is a gsettings instead of a button.