1) Fire 'Terminate' event on every thread on script termination. Fixes bug #1548528.
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / icons / full / cview16 / preview.gif
net.sourceforge.phpeclipse.ui/icons/full/cview16/preview.gif