14021 ----- Issue 4474: DNU when displaying search results in Comments http://code.google.com/p/pharo/issues/detail?id=4474 Issue 4473: About HTTP proxies, settings and MacOS http://code.google.com/p/pharo/issues/detail?id=4473 -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.