File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed
bundles/org.eclipse.ui.workbench/eclipseui/org/eclipse/ui/internal/misc Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 1717import java .io .IOException ;
1818import java .net .URL ;
1919import org .eclipse .core .runtime .CoreException ;
20+ import org .eclipse .core .runtime .FileLocator ;
2021import org .eclipse .core .runtime .IConfigurationElement ;
2122import org .eclipse .core .runtime .IPath ;
2223import org .eclipse .core .runtime .IStatus ;
@@ -90,7 +91,7 @@ public void openWithUserDefinedProgram() throws CoreException {
9091 URL entry = bundle .getEntry (descriptor .getFileName ());
9192 if (entry != null ) {
9293 // this will bring the file local if the plugin is on a server
93- URL localName = Platform . asLocalURL (entry );
94+ URL localName = FileLocator . toFileURL (entry );
9495 File file = new File (localName .getFile ());
9596 // Check that it exists before we assert it is valid
9697 if (file .exists ()) {
You can’t perform that action at this time.
0 commit comments