* Issue #25: the configuration panels inherit from an abstract panel. First, this permits to use "standard" utility functions in all the panels. Second, it's prepare the API for a "standard" way to select the inherited values.
* Issue #25: the backend is providing the inherited values from the configuration files.
* Issue #25: the Gedit configuration panels provides a widget to inherit/override configuration's values.