images/editIECrawcode.png
| author |
etisserant |
|
Tue, 15 Jul 2008 17:57:04 +0200 |
| changeset 199 |
aa5f43bafad4 |
| child 434 |
092060fd8afb |
| permissions |
-rw-r--r-- |
minor gui improvements :
- smaller plugin name field, indented according plugin depth
- C editor icon
- IEC editor icon
