May 13, 2011
1:24 p.m.
13198 ----- Issue 4213: New method in UITheme Issue 4212: RecentSubmissions updated Issue 4205: Separator is displayed even if its the last element in PluggableMenuSpec Issue 4174: Senders/implementors only get colors when clicked Issue 4150: DNU in FileList with CmdA Issue 4100: Set a backgroun picture from the settings doesnt work anymore Issue 4200: Build of Pharo Full does not terminate (workaround, issue stays open) -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.