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 <diaz.bast...@ymail.com>. > --- > 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 > pspp-dev@gnu.org > 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. >
_______________________________________________ pspp-dev mailing list pspp-dev@gnu.org https://lists.gnu.org/mailman/listinfo/pspp-dev
