Re: [anjuta-devel] Dconf and GSettings

["Johannes Schmid" <jhs jsschmid de>]

Hi!

> I think it would be better to separate plugin configurations in
> org/gnome/anjuta/plugins/plugin_name than adding the plugin name at the
> beginning of the key name. What do you think?

It is probably rather simple to do but what is the great benefit?

> Most of our settings comes from .ui files and the schema files are
> generated with a script, the issue is that there is no way to specify a
> description. I don't think we can really add more information in the .ui
> file, so I think the best solution is to describe all the keys in a
> .schema file like it's done for keys which doesn't appear in preferences
> dialog. Then we can just check that all key used in the .ui are defined
> in the .schema file and eventually add them if there are missing. I
> haven't checked how much work it needs, but what do you think?

Well, it is a rather great burden to maintain the binding between settings
and widgets in the ui files by hand. At some point GtkBuilder should
support this directly and it should be editable in glade.

BTW, anjuta will abort if the .ui file would contain a setting not in the
(generated) schema file so this check is already done. If we really just
wanted to add descriptions to the keys we could create schema.in files
that are considered by the script that contain the description metadata.

But as I said, I don't think it is worth the effort doing that at the moment.

Regards,
Johannes