hi, guys There is no such function like "get_key_type" in Gio.settings, http://roojs.org/seed/gir-1.2-gtk-2.0/seed/Gio.Settings.html which I think is very important for programmer to detect the type of the key. Writing code for "pref.js" is a really pain in the ass job, repeated and boring. We can write a lib for preference setting just like "convenience.js", If we had such function.
----- Light up the darkness _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
