Dec. 13, 2009
11:44 a.m.
The disabled buttons look ugly with the new strike fonts. Does somebody know what the reason is and how to fix it? We cannot ship Pharo like this... Cheers, Adrian
