Commit 353ecb368512bfaf1ef41d212f5844f8b19b51bd

[gsettings] Close settings editor when active project changes.

To this end, I added glade_settings_editor_hide_dialog.


1119	1119	return;
1120	1120	}
1121	1121
1122		/* clear the selection in the previous project */
1123	1122	if (app->priv->active_project)
	1123	{
	1124	/* clear the selection in the previous project */
1124	1125	glade_project_selection_clear (app->priv->active_project, FALSE);
	1126
	1127	/* hide related editor dialog if open */
	1128	glade_settings_editor_hide_dialog (app->priv->settings_editor);
	1129	}
1125	1130
1126	1131	app->priv->active_project = project;
1127	1132


166	166	GtkResponseType response,
167	167	GladeSettingsEditor *self)
168	168	{
169		GtkWidget *content_area = gtk_dialog_get_content_area (GTK_DIALOG (self->dialog));
170		gtk_container_remove (GTK_CONTAINER (content_area), self->panel);
171
172		gtk_widget_destroy (GTK_WIDGET (dialog));
173		self->dialog = NULL;
	169	glade_settings_editor_hide_dialog (self);
174	170	};
175	171
176	172	void
…	…
199	199	g_signal_connect (self->dialog, "response", G_CALLBACK (dialog_response), self);
200	200
201	201	gtk_widget_show_all (self->dialog);
	202	};
	203
	204	void
	205	glade_settings_editor_hide_dialog (GladeSettingsEditor *self)
	206	{
	207	GtkWidget *content_area;
	208
	209	if (self->dialog == NULL)
	210	return;
	211
	212	content_area = gtk_dialog_get_content_area (GTK_DIALOG (self->dialog));
	213	gtk_container_remove (GTK_CONTAINER (content_area), self->panel);
	214
	215	gtk_widget_destroy (GTK_WIDGET (self->dialog));
	216	self->dialog = NULL;
202	217	};
203	218
204	219	/* Return the widget to be packed somewhere */


50	50
51	51	void glade_settings_editor_show_dialog (GladeSettingsEditor self, GladeWidget widget,
52	52	GladeProperty *property);
	53	void glade_settings_editor_hide_dialog (GladeSettingsEditor *self);
	54
53	55	GtkWidget glade_settings_editor_get_widget (GladeSettingsEditor self);
54	56
55	57	void glade_settings_editor_set_widget (GladeSettingsEditor self, GladeWidget widget);