Wed, 23 May 2012 13:41:31 +0200merge
Edouard Tisserant [Wed, 23 May 2012 13:41:31 +0200] rev 750
merge

Wed, 23 May 2012 12:19:53 +0200Hiding Topology panel
laurent [Wed, 23 May 2012 12:19:53 +0200] rev 749
Hiding Topology panel

Wed, 23 May 2012 13:20:00 +0200fix svgui toggle buttons output, now reflect pressed state
Edouard Tisserant [Wed, 23 May 2012 13:20:00 +0200] rev 748
fix svgui toggle buttons output, now reflect pressed state