void SetupConfigurationWidget()
{
if (theme_configuration_container.Child != null)
{
theme_configuration_container.Remove(theme_configuration_container.Child);
}
if (Do.Controller.Window is IConfigurable)
{
IConfigurable window = Do.Controller.Window as IConfigurable;
Gtk.Bin bin = window.GetConfiguration();
theme_configuration_container.Add(bin);
}
theme_configuration_container.ShowAll();
}