Wed, 23 May 2012 13:41:31 +0200 Edouard Tisserant merge
Wed, 23 May 2012 12:19:53 +0200 laurent Hiding Topology panel
Wed, 23 May 2012 13:20:00 +0200 Edouard Tisserant fix svgui toggle buttons output, now reflect pressed state