From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 28 Jul 2013 22:24:39 +0000 (-0700)
Subject: gui: Remove processor-area from status bar to reduce minimum window width.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fbuilds%2F20130731030504%2Fpspp;p=pspp

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

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 <diaz.bastian@ymail.com>.
---

diff --git a/src/ui/gui/data-editor.ui b/src/ui/gui/data-editor.ui
index 2f0dd03adb..955febea75 100644
--- a/src/ui/gui/data-editor.ui
+++ b/src/ui/gui/data-editor.ui
@@ -629,31 +629,6 @@
         <property name="position">0</property>
       </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>