diff options
Diffstat (limited to 'org.eclipse.debug.examples.ui/src/org/eclipse/debug/examples/ui/midi/launcher/MidiMainTab.java')
-rw-r--r-- | org.eclipse.debug.examples.ui/src/org/eclipse/debug/examples/ui/midi/launcher/MidiMainTab.java | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/org.eclipse.debug.examples.ui/src/org/eclipse/debug/examples/ui/midi/launcher/MidiMainTab.java b/org.eclipse.debug.examples.ui/src/org/eclipse/debug/examples/ui/midi/launcher/MidiMainTab.java index 80dff6a7b..fca24e5b4 100644 --- a/org.eclipse.debug.examples.ui/src/org/eclipse/debug/examples/ui/midi/launcher/MidiMainTab.java +++ b/org.eclipse.debug.examples.ui/src/org/eclipse/debug/examples/ui/midi/launcher/MidiMainTab.java @@ -130,7 +130,16 @@ public class MidiMainTab extends AbstractLaunchConfigurationTab { if (file.length() == 0) { file = null; } + IResource[] resources = null; + if (file!= null) { + IPath path = new Path(file); + IResource res = ResourcesPlugin.getWorkspace().getRoot().findMember(path); + if (res != null) { + resources = new IResource[]{res}; + } + } configuration.setAttribute(MidiLaunchDelegate.ATTR_MIDI_FILE, file); + configuration.setMappedResources(resources); } /* (non-Javadoc) |