On Sat, May 16, 2015 at 9:32 AM, Juergen Spitzmueller <sp...@lyx.org> wrote: > commit 818249f69fbb59f8ecae17213e046069f53de438 > Author: Juergen Spitzmueller <sp...@lyx.org> > Date: Sat May 16 15:31:51 2015 +0200 > > Clarify "Save compressed by default" feature (bug 7822) > > diff --git a/src/frontends/qt4/ui/PrefDocHandlingUi.ui > b/src/frontends/qt4/ui/PrefDocHandlingUi.ui > index 949e2b6..dbded33 100644 > --- a/src/frontends/qt4/ui/PrefDocHandlingUi.ui > +++ b/src/frontends/qt4/ui/PrefDocHandlingUi.ui > @@ -6,8 +6,8 @@ > <rect> > <x>0</x> > <y>0</y> > - <width>403</width> > - <height>416</height> > + <width>413</width> > + <height>497</height>
Was the above change intended? What does it have to do with the tool tip? Scott
