Bug 1814 fix in Bugzilla

2005-10-27 Thread Martin Vermeer
On Thu, Oct 27, 2005 at 02:19:58PM +0300, Martin Vermeer wrote: > On Wed, 2005-10-26 at 17:45 +0200, Jean-Marc Lasgouttes wrote: > > > "Georg" == Georg Baum <[EMAIL PROTECTED]> writes: > > > > Georg> My favorite one is > > Georg> http://bugzilla.lyx.org/show_bug.cgi?id=1814. > > > > Actually,

Re: Bug 1814 fix in Bugzilla

2005-10-31 Thread Georg Baum
Am Donnerstag, 27. Oktober 2005 20:16 schrieb Martin Vermeer: > On Thu, Oct 27, 2005 at 02:19:58PM +0300, Martin Vermeer wrote: > > On Wed, 2005-10-26 at 17:45 +0200, Jean-Marc Lasgouttes wrote: > > > > "Georg" == Georg Baum <[EMAIL PROTECTED]> writes: > > > > > > Georg> My favorite one is > >

Re: Bug 1814 fix in Bugzilla

2005-10-31 Thread Martin Vermeer
On Mon, 2005-10-31 at 11:44 +0100, Georg Baum wrote: > Am Donnerstag, 27. Oktober 2005 20:16 schrieb Martin Vermeer: > > On Thu, Oct 27, 2005 at 02:19:58PM +0300, Martin Vermeer wrote: > > > On Wed, 2005-10-26 at 17:45 +0200, Jean-Marc Lasgouttes wrote: > > > > > "Georg" == Georg Baum <[EMAIL P

Re: Bug 1814 fix in Bugzilla

2005-11-01 Thread Martin Vermeer
On Mon, 2005-10-31 at 11:44 +0100, Georg Baum wrote: > Am Donnerstag, 27. Oktober 2005 20:16 schrieb Martin Vermeer: > > On Thu, Oct 27, 2005 at 02:19:58PM +0300, Martin Vermeer wrote: > > > On Wed, 2005-10-26 at 17:45 +0200, Jean-Marc Lasgouttes wrote: > > > > > "Georg" == Georg Baum <[EMAIL P

Re: Bug 1814 fix in Bugzilla

2005-11-01 Thread Georg Baum
Am Montag, 31. Oktober 2005 15:19 schrieb Martin Vermeer: > On Mon, 2005-10-31 at 11:44 +0100, Georg Baum wrote: > > Create a new document (with a small LyX window). Type into the first > > paragraph until the scrollbar begins to shrink. You will notice that this > > happens a bit too early, i.

Re: Bug 1814 fix in Bugzilla

2005-11-01 Thread Martin Vermeer
On Tue, Nov 01, 2005 at 11:22:11AM +0100, Georg Baum wrote: > Am Montag, 31. Oktober 2005 15:19 schrieb Martin Vermeer: > > On Mon, 2005-10-31 at 11:44 +0100, Georg Baum wrote: > > > Create a new document (with a small LyX window). Type into the first > > > paragraph until the scrollbar begins to

Re: Bug 1814 fix in Bugzilla

2005-11-03 Thread Martin Vermeer
On Tue, 2005-11-01 at 11:04 +0200, Martin Vermeer wrote: > On Mon, 2005-10-31 at 11:44 +0100, Georg Baum wrote: > > Am Donnerstag, 27. Oktober 2005 20:16 schrieb Martin Vermeer: > > > On Thu, Oct 27, 2005 at 02:19:58PM +0300, Martin Vermeer wrote: > > > > On Wed, 2005-10-26 at 17:45 +0200, Jean-Mar

Re: Bug 1814 fix in Bugzilla

2005-11-07 Thread Jean-Marc Lasgouttes
> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: >> Can this go in? I have a good feeling about it. Martin> Ping... Oh, I thought it was already in. I think it can go in, but I have a question first. Please pardon me if it has already be beaten to death, I did not follow the various

Re: Bug 1814 fix in Bugzilla

2005-11-07 Thread Martin Vermeer
On Mon, 2005-11-07 at 12:34 +0100, Jean-Marc Lasgouttes wrote: > > "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: > > >> Can this go in? I have a good feeling about it. > > Martin> Ping... > > Oh, I thought it was already in. I think it can go in, but I have a > question first. Pleas

Re: Bug 1814 fix in Bugzilla

2005-11-07 Thread Jean-Marc Lasgouttes
> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: Martin> The patch is IMO good enough for 1.4 and we should not now Martin> spend time on refinement, though your idea is actually very Martin> good, I think. Now, that's diplomacy! How could I say anything else than, ``apply it''? :) J

Re: Bug 1814 fix in Bugzilla

2005-11-07 Thread Martin Vermeer
On Mon, 2005-11-07 at 14:24 +0100, Jean-Marc Lasgouttes wrote: > > "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: > > Martin> The patch is IMO good enough for 1.4 and we should not now > Martin> spend time on refinement, though your idea is actually very > Martin> good, I think. > > N

Re: Bug 1814 fix in Bugzilla

2005-11-07 Thread Martin Vermeer
On Mon, 2005-11-07 at 14:24 +0100, Jean-Marc Lasgouttes wrote: > > "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: > > Martin> The patch is IMO good enough for 1.4 and we should not now > Martin> spend time on refinement, though your idea is actually very > Martin> good, I think. > > N

Re: Bug 1814 fix in Bugzilla

2005-11-09 Thread Jean-Marc Lasgouttes
> "Alfredo" == Alfredo Braunstein <[EMAIL PROTECTED]> writes: Alfredo> I've proposed this, but it was rejected because the scrollbar Alfredo> changes height when moving around. [sorry alfredo for quoting private mail!] I added my previous comments to the bug, plus some proposals to avoid too

Re: Bug 1814 fix in Bugzilla

2005-11-09 Thread Martin Vermeer
On Wed, 2005-11-09 at 14:37 +0100, Jean-Marc Lasgouttes wrote: > > "Alfredo" == Alfredo Braunstein <[EMAIL PROTECTED]> writes: > > Alfredo> I've proposed this, but it was rejected because the scrollbar > Alfredo> changes height when moving around. > > [sorry alfredo for quoting private mail!]

Re: Bug 1814 fix in Bugzilla

2005-11-09 Thread Alfredo Braunstein
Jean-Marc Lasgouttes wrote: >> "Alfredo" == Alfredo Braunstein >> <[EMAIL PROTECTED]> writes: > > Alfredo> I've proposed this, but it was rejected because the scrollbar > Alfredo> changes height when moving around. > > [sorry alfredo for quoting private mail!] Actually it wasn't meant

Re: Bug 1814 fix in Bugzilla

2005-11-09 Thread Alfredo Braunstein
Martin Vermeer wrote: >> Alfredo> I've proposed this, but it was rejected because the scrollbar >> Alfredo> changes height when moving around. >> >> [sorry alfredo for quoting private mail!] > > Ah. Great minds think alike ;-) Hehe in other terms we are equally flawed ;-) Alfredo