Attachment #5549
Patch file for org.eclipse.ui.workbench (current to July 24/03) for potential fix. patch 2003-07-24 13:50:27 EDT 6.79 KB no flags Details