beremiz

minor gui improvements :

2008-07-15, etisserant
aa5f43bafad4
minor gui improvements :
- smaller plugin name field, indented according plugin depth
- C editor icon
- IEC editor icon
*.pyc
.settings
.project
bug_report_*.txt
.pyproject
.externalToolBuilders
.pydevproject