| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Tue Aug 16 10:13:39 EDT 2011 |
|
At Tue, 16 Aug 2011 12:25:10 +0200, Marijn wrote: > > I noticed that text-fields are now missing their right border. Might be > > related to your fix. > > > > Marijn > > There seems to be some positioning error, as text-fields are now > displayed on top of their labels. Thanks for the report! I've pushed a repair.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}