-
Matthew Leeds authored
This will allow plugins that implement IdeConfigurationProvider to add their own properties to the configuration objects. It has yet to be determined if different types of configurations can have different UI elements. https://bugzilla.gnome.org/show_bug.cgi?id=777959
69f5f986