[gnome-terminal] profile-preferences: add a widget name for the palette table

[Christian Persch <chpe src gnome org>]

commit 958344a222dd263cee27f99f24ec3b2dfd890e41
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Thu May 3 15:12:56 2012 -0400

    profile-preferences: add a widget name for the palette table
    
    So themes can special case it if they want.
    (cherry picked from commit 5767176605656260ff248b2620b9e9a7299169b1)

 src/profile-preferences.glade |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/profile-preferences.glade b/src/profile-preferences.glade
index 5fc6fd5..a4bf11a 100644
--- a/src/profile-preferences.glade
+++ b/src/profile-preferences.glade
@@ -1593,6 +1593,7 @@ Hold the terminal open</property>
 			      <property name="homogeneous">False</property>
 			      <property name="row_spacing">6</property>
 			      <property name="column_spacing">6</property>
+			      <property name="name">terminal-palette-table</property>
 
 			      <child>
 				<widget class="GtkColorButton" id="palette-colorpicker-1">