[gnome-terminal] client: legacy: Accept name or UUID for --{window, tab}-with-profile

[Christian Persch <chpe src gnome org>]

commit 7fcddcd2165d182db4b2ae2647689a7cd7dfc764
Author: Christian Persch <chpe gnome org>
Date:   Tue May 7 20:48:54 2013 +0200

    client: legacy: Accept name or UUID for --{window,tab}-with-profile

 src/terminal-options.c |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/terminal-options.c b/src/terminal-options.c
index 1393830..6e4c3fc 100644
--- a/src/terminal-options.c
+++ b/src/terminal-options.c
@@ -365,8 +365,8 @@ option_window_callback (const gchar *option_name,
   TerminalOptions *options = data;
   char *profile;
 
-  profile = terminal_profiles_list_dup_uuid (terminal_options_ensure_profiles_list (options),
-                                             value, error);
+  profile = terminal_profiles_list_dup_uuid_or_name (terminal_options_ensure_profiles_list (options),
+                                                     value, error);
   if (profile == NULL)
     return FALSE;
 
@@ -384,8 +384,8 @@ option_tab_callback (const gchar *option_name,
   TerminalOptions *options = data;
   char *profile;
 
-  profile = terminal_profiles_list_dup_uuid (terminal_options_ensure_profiles_list (options),
-                                             value, error);
+  profile = terminal_profiles_list_dup_uuid_or_name (terminal_options_ensure_profiles_list (options),
+                                                     value, error);
   if (profile == NULL)
     return FALSE;