June 9, 2011
6:33 a.m.
13257 ----- Issue 4376: Tab widget improvements http://code.google.com/p/pharo/issues/detail?id=4376 -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.