[gnome-terminal] server: Emit profile-list-changed when adding new profile

[Christian Persch <chpe src gnome org>]

commit 7088ba3232c0e81cd3f56e07727914a9f07f7e7d
Author: Christian Persch <chpe gnome org>
Date:   Sat Dec 15 22:14:27 2012 +0100

    server: Emit profile-list-changed when adding new profile

 src/terminal-app.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/terminal-app.c b/src/terminal-app.c
index 084d07d..2086fd0 100644
--- a/src/terminal-app.c
+++ b/src/terminal-app.c
@@ -257,6 +257,7 @@ profile_clone (TerminalApp *app,
    * We'll get a changed signal for the profile list key, but that will result in a no-op.
    */
   g_hash_table_insert (app->profiles_hash, g_strdup (str) /* adopted */, profile /* adopted */);
+  g_signal_emit (app, signals[PROFILE_LIST_CHANGED], 0);
 
   g_settings_get (app->global_settings, TERMINAL_SETTING_PROFILES_KEY, "^a&s", &profiles);
   profiles = strv_insert (profiles, str);