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

[Cosimo Cecchi <cosimoc src gnome org>]

commit 5767176605656260ff248b2620b9e9a7299169b1
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.

 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 5c2ecd8..619a90e 100644
--- a/src/profile-preferences.glade
+++ b/src/profile-preferences.glade
@@ -1595,6 +1595,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">