Nov. 30, 2012
10:05 a.m.
20423 ----- Issue 7072: Better pop up menu entries aligned with http://code.google.com/p/pharo/issues/detail?id=7072 Issue 7071: Fixing ManifestBrowser http://code.google.com/p/pharo/issues/detail?id=7071 Diff information: http://ss3.gemstone.com/ss/Pharo20/Manifest-CriticBrowser-MarcusDenker.29.di... http://ss3.gemstone.com/ss/Pharo20/Compiler-MarcusDenker.364.diff