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

[Ben Pfaff]

Thanks.  I applied this to master.

On Mon, Jul 29, 2013 at 06:51:11PM +0200, John Darrington wrote:
> 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.
>