>
>> Maybe a better solution would be specify a padding value.
>
> I can't see any way to determine a padding value that would always work,
> given that the user can mess with the time format. It might be enough to
> always suffix his time format with a space, I suppose.
>
I can see a user (l
On Sun, Apr 07, 2002 at 01:15:43PM -0800, Sean 'Shaleh' Perry wrote:
> >
> > Question... why can't it be resized when the timer fires? It does that
> > once a minute anyway.
> >
>
> I believe that would look odd. For the clock to grow it would have to enlarge
> the toolbar so for a few hours
>
> Question... why can't it be resized when the timer fires? It does that
> once a minute anyway.
>
I believe that would look odd. For the clock to grow it would have to enlarge
the toolbar so for a few hours every day you have a 480 pixel wide toolbar and
for a few hours you have a 485 pixe
On Sun, Apr 07, 2002 at 11:02:01AM -0800, Sean 'Shaleh' Perry wrote:
> se we still have a proportional font problem then, right?
Well, we have the original problem we discussed last night. Since it
calculates the size at reconfigure() time, if it grows later, then
obviously it isn't going to fit
