fixed bug #1038071
authorjsurfer <jsurfer>
Tue, 5 Oct 2004 18:31:40 +0000 (18:31 +0000)
committerjsurfer <jsurfer>
Tue, 5 Oct 2004 18:31:40 +0000 (18:31 +0000)
commitaa1663e6a8c44da1230fddc612b55ebe393cb082
treed08382a1132a8a35967ab648e95139a46d0cd8d9
parentf8e0da087063350ffa1138b7ddcb47ab3b90a292
fixed bug #1038071
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/PHPEditor.java