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

[John Darrington]

We don't currently use that feature of the status bar.  So it seems reasonble.

I haven't tested it.

J'


On Sun, Jul 28, 2013 at 03:25:14PM -0700, Ben Pfaff wrote:
     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
     
     
     _______________________________________________
     pspp-dev mailing list
     address@hidden
     https://lists.gnu.org/mailman/listinfo/pspp-dev

-- 
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://keys.gnupg.net or any PGP keyserver for public key.

signature.asc
Description: Digital signature