summaryrefslogtreecommitdiff
path: root/eu.planete_kraus.Disfluid.gschema.xml.in
AgeCommit message (Collapse)Author
2021-10-01gui settings: have a static pool of other accountsVivien Kraus
If we create them dynamically, we won’t be able to delete them due to a hole in GLib: https://gitlab.gnome.org/GNOME/glib/-/issues/993
2021-10-01gui: Add a gsettings schemaVivien Kraus