Attachment #26725
proposed patch - apply to org.eclipse.ui.ide patch 2005-08-31 13:45:33 EDT 3.63 KB no flags Details