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