On Thu, 2007-02-08 at 12:42 -0500, William Jon McCann wrote:
> Hey,
>
> Was using the device manager to debug some stuff today and noticed
> that it hardcodes the size of all the label widgets and uses
> inconsistent alignment. Here's the fix.
I've committed this. Thanks!
David