[gnome-terminal] profile: editor: Re-save the builder file from glade

[Christian Persch <chpe src gnome org>]

commit d99a84c45fce74b8cf2be0eab86185c79ca5c4e5
Author: Christian Persch <chpe gnome org>
Date:   Tue Jan 22 14:53:06 2013 +0100

    profile: editor: Re-save the builder file from glade
    
    Fix a few misnamed widgets, and re-save the file which changed some indentations.

 src/profile-preferences.ui |   26 +++++++++++++-------------
 1 files changed, 13 insertions(+), 13 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index c685f72..aec880a 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -582,7 +582,7 @@
                         <property name="xalign">0</property>
                         <property name="label" translatable="yes">Title</property>
                         <attributes>
-                         <attribute name="weight" value="bold"/>
+                          <attribute name="weight" value="bold"/>
                         </attributes>
                       </object>
                       <packing>
@@ -714,7 +714,7 @@
                         <property name="xalign">0</property>
                         <property name="label" translatable="yes">Command</property>
                         <attributes>
-                         <attribute name="weight" value="bold"/>
+                          <attribute name="weight" value="bold"/>
                         </attributes>
                       </object>
                       <packing>
@@ -936,7 +936,7 @@
                         <property name="xalign">0</property>
                         <property name="label" translatable="yes">Foreground, Background, Bold and Underline</property>
                         <attributes>
-                         <attribute name="weight" value="bold"/>
+                          <attribute name="weight" value="bold"/>
                         </attributes>
                       </object>
                       <packing>
@@ -1016,7 +1016,7 @@
                                 <property name="can_focus">False</property>
                                 <property name="spacing">18</property>
                                 <child>
-                                  <object class="GtkTable" id="table31">
+                                  <object class="GtkTable" id="colorpickertable1">
                                     <property name="visible">True</property>
                                     <property name="can_focus">False</property>
                                     <property name="n_rows">2</property>
@@ -1093,7 +1093,7 @@
                                   </packing>
                                 </child>
                                 <child>
-                                  <object class="GtkTable" id="underline-colorpicker-label">
+                                  <object class="GtkTable" id="colorpickertable2">
                                     <property name="visible">True</property>
                                     <property name="can_focus">False</property>
                                     <property name="n_rows">2</property>
@@ -1235,7 +1235,7 @@
                         <property name="xalign">0</property>
                         <property name="label" translatable="yes">Palette</property>
                         <attributes>
-                         <attribute name="weight" value="bold"/>
+                          <attribute name="weight" value="bold"/>
                         </attributes>
                       </object>
                       <packing>
@@ -1534,11 +1534,11 @@
                                 <property name="can_focus">False</property>
                                 <property name="xalign">0</property>
                                 <property name="label" translatable="yes">&lt;b&gt;Note:&lt;/b&gt; Terminal applications have these colors available to them.</property>
+                                <property name="justify">center</property>
                                 <attributes>
-                                 <attribute name="style" value="italic"/>
-                                 <attribute name="size" value="0.83"/>
+                                  <attribute name="style" value="italic"/>
+                                  <attribute name="size" value="0"/>
                                 </attributes>
-                                <property name="justify">center</property>
                               </object>
                               <packing>
                                 <property name="right_attach">2</property>
@@ -1817,11 +1817,11 @@
                     <property name="xalign">0</property>
                     <property name="yalign">7.4505801528346183e-09</property>
                     <property name="label" translatable="yes">&lt;b&gt;Note:&lt;/b&gt; These options may cause some applications to behave incorrectly.  They are only here to allow you to work around certain applications and operating systems that expect different terminal behavior.</property>
-                    <attributes>
-                         <attribute name="style" value="italic"/>
-                         <attribute name="size" value="0.83"/>
-                        </attributes>
                     <property name="wrap">True</property>
+                    <attributes>
+                      <attribute name="style" value="italic"/>
+                      <attribute name="size" value="0"/>
+                    </attributes>
                   </object>
                   <packing>
                     <property name="expand">False</property>