Commit 4a2c48e2c90b710b04af831d550a7d2534a53a0e

Tree SHA1: a08d05f
Parent SHA1: 353ecb3 ([gsettings] Close settings editor when active project changes.)
raw diff | raw patch

[gsettings] Update settings editor with widget selection.


572	572	if (app->priv->editor &&
573	573	(project == glade_app_get_project ()))
574	574	{
	575	GtkWidget *active_widget = NULL;
	576
575	577	list = glade_project_selection_get (project);
576	578	num = g_list_length (list);
	579
577	580	if (num == 1 && !GLADE_IS_PLACEHOLDER (list->data))
578		glade_editor_load_widget (app->priv->editor,
579		glade_widget_get_from_gobject (list->data));
580		else
581		glade_editor_load_widget (app->priv->editor, NULL);
	581	active_widget = glade_widget_get_from_gobject (list->data);
	582
	583	glade_editor_load_widget (app->priv->editor, active_widget);
	584	glade_settings_editor_set_widget (app->priv->settings_editor, active_widget);
582	585	}
583	586	}
584	587