Owen Taylor wrote:
> Alternative approach is to add meta_prefs_add_keybinding_for_settings()
> which avoids both of the downsides above, but clutters up the API and
> means there is an API left over that looks like it should work for
> extension authors but doesn't.
>
> I'm OK with the API addition - in terms of whether to do it with a new
> name, or keep stricter compatibility - I don't think it's a huge
> difference and basically would leave it up to Florian who write the API
> originally. If it's a more convenient API for some things, then maybe we
> should just leave it and add new API alongside.
I favour the "new function alongside" option (and mark the older one
as deprecrated).
Fred
_______________________________________________
[email protected]
http://mail.gnome.org/mailman/listinfo/release-team
Release-team lurker? Do NOT participate in discussions.
