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
etisserant [Tue, 15 Jul 2008 16:01:09 +0200] rev 197
SVG/Inkscape based icon generation script + SVG drawing.
Change in icon naming : no more size in name