Is there a "get_key_type" like function in Gio.settings?



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


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]