Wed, 30 Jul 2008 17:16:57 +0200Change shortcut for wx-inspector now ctrl-alt-i
etisserant [Wed, 30 Jul 2008 17:16:57 +0200] rev 200
Change shortcut for wx-inspector now ctrl-alt-i

Tue, 15 Jul 2008 17:57:04 +0200minor gui improvements :
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

Tue, 15 Jul 2008 17:35:19 +0200Bug while while changing name of SVGUI plugin node fixed
lbessard [Tue, 15 Jul 2008 17:35:19 +0200] rev 198
Bug while while changing name of SVGUI plugin node fixed