Rob Lahaye wrote:

> Aaah, I see.
> Yes, I do remember vague a problem like this, when I was reducing
> the height of all widgets from 30 to 20; 20 was too small, so it
> became 25. The latter seemed to work for all of us.
> (I haven't done all dialogs yet, some are still at 30 pix style).
> 
> So the 25 pix. as it is now, is a sort of workable minimum for all
> the different fonts people use. Expect problems when you reduce
> this height.
But it is not a workable minimum for either Martin or myself. Could you
please revert to 30?

Thanks,
  Garst

Reply via email to