5 Feb
2008
5 Feb
'08
3:07 p.m.
On Fri, Feb 01, 2008 at 06:11:58PM -0300, Jorge Arellano Cid wrote:
On Fri, Feb 01, 2008 at 07:49:43PM +0000, Jeremy Henty wrote: The "obvious right thing" may vary. For instance, what the algorithm currently does is to proportionally apportion the extra space (just as Firefox).
Good point! I was thinking of sharing the space equally rather than proportionally, but proportionally is better. I think I'll be able to do that in O(n). I've put the rewrite on the back burner for now, as its priority has dropped since the actual breakage that starting me thinking along these lines has been fixed. Regards, Jeremy Henty