Skip to content
Snippets Groups Projects
Commit 8205a065 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

use getRawLocation instead of getFullPath for .bum/.buc files

parent bf20eb7c
Branches
Tags
No related merge requests found
......@@ -9,8 +9,7 @@ import org.eclipse.core.commands.AbstractHandler;
import org.eclipse.core.commands.ExecutionEvent;
import org.eclipse.core.commands.ExecutionException;
import org.eclipse.core.commands.IHandler;
import org.eclipse.core.resources.IWorkspace;
import org.eclipse.core.resources.ResourcesPlugin;
//import org.eclipse.core.resources.ResourcesPlugin;
import org.eclipse.core.runtime.Platform;
import org.eclipse.core.runtime.preferences.InstanceScope;
import org.eclipse.jface.viewers.ISelection;
......@@ -42,8 +41,8 @@ public class OpenClassicHandler extends AbstractHandler implements IHandler {
if(prob_location.endsWith(".jar")) {
// we can open directly the .bum or .buc files with ProB2; we need to get it from root
// we could also get a platform URI: URI fileURI = URI.createPlatformResourceURI(root.getResource().getFullPath().toString(), true);
String bum_buc_path = ResourcesPlugin.getWorkspace().getRoot().getLocation().toString()
+ root.getResource().getFullPath().toString();
String bum_buc_path = //ResourcesPlugin.getWorkspace().getRoot().getLocation().toString() + root.getResource().getFullPath().toString();
root.getResource().getRawLocation().toString();
runProB2(prob_location, bum_buc_path);
} else {
final File temp = createTempFile();
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment