Is there a "get_key_type" like function in Gio.settings?
- From: Mz <mengzhuo1203 gmail com>
- To: gnome-shell-list gnome org
- Subject: Is there a "get_key_type" like function in Gio.settings?
- Date: Sun, 22 Jul 2012 22:28:07 +0800
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]