[PATCH] gui: Remove processor-area from status bar to reduce minimum window width.

[Ben Pfaff]

Nothing ever puts anything in the processor-area widget, but it forces
the data window to be 35 character widths wider, so by removing it we can
allow the window to be resized much narrower when the status bar is shown.

Reported by Bastián Díaz <address@hidden>.
---
John, do you think it is reasonable to check this in?

Thanks,

Ben.

 src/ui/gui/data-editor.ui |   25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 2f0dd03..955febe 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -630,31 +630,6 @@
       </packing>
     </child>
     <child>
-      <object class="GtkFrame" id="frame3">
-        <property name="visible">True</property>
-        <property name="label_xalign">0</property>
-        <property name="shadow_type">in</property>
-        <child>
-          <object class="GtkEventBox" id="eventbox2">
-            <property name="visible">True</property>
-            <property name="tooltip-text" translatable="yes">Processor 
Area</property>
-            <child>
-              <object class="GtkLabel" id="processor-area">
-                <property name="visible">True</property>
-                <property name="width_chars">35</property>
-                <property name="single_line_mode">True</property>
-              </object>
-            </child>
-          </object>
-        </child>
-      </object>
-      <packing>
-        <property name="expand">False</property>
-        <property name="fill">False</property>
-        <property name="position">1</property>
-      </packing>
-    </child>
-    <child>
       <object class="GtkFrame" id="frame5">
         <property name="visible">True</property>
         <property name="label_xalign">0</property>
-- 
1.7.10.4