On Jul 22, 2012 4:28 PM, "Mz" <mengzhuo1...@gmail.com> wrote: > There is no such function like "get_key_type" in Gio.settings,
Kind of: settings.get_value(key).get_typ e_string(); Florian
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
