Re: [pilot-db-list] More beta 8 buglets

[Scott W. <swa...@my...>]

> 4) The floating type seems to be padded by several spaces on the right
> hand side. I.e. when adjusting the view, there is always about 10 pixels
> of white space after the 1 decimal place I set. If I attempt to squeeze
> the white space, then numbers change to "..." indicating it doesn't fit.


Yes, this is true.  There is a 10 pixel margin on the right side of a 
float column.  If there is no margin, what happens is that the float is 
directly adjacent to the value in the next column (since most columns are 
left justified).  This makes the display confusing, since it is hard to 
distinguish where the columns start and end.

The trade-off is to waste some of the space in the right justified column
(which should occur less frequently that left justified ones).  Ideally,
you could make the margin disappear as the the column becomes increasingly
full.  But this requires calculating the max width overall columns, which
is too slow.  So instead, I just use a constant value.


If you have a better metric in mind, I will consider it, but it is 
important that the display does not become hard to read.

	-Scott