etisserant [Tue, 15 Jul 2008 17:57:04 +0200] rev 199
minor gui improvements :
- smaller plugin name field, indented according plugin depth
- C editor icon
- IEC editor icon
lbessard [Tue, 15 Jul 2008 17:35:19 +0200] rev 198
Bug while while changing name of SVGUI plugin node fixed