[Pharo-project] [update 1.3] #13257

[Marcus Denker]

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.